Sebastian Gabmeyer

According to our database, Sebastian Gabmeyer authored at least 20 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

DRAM PUFs in Commodity Devices.

Wenjie Xiong, André Schaller, Nikolaos Athanasios Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer

IEEE Des. Test, 2021

2019

Decay-Based DRAM PUFs in Commodity Devices.

André Schaller, Wenjie Xiong, Nikolaos Athanasios Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Boris Skoric, Stefan Katzenbeisser, Jakub Szefer

IEEE Trans. Dependable Secur. Comput., 2019

A feature-based classification of formal verification techniques for software models.

Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel

Softw. Syst. Model., 2019

Attacking SRAM PUFs using very-low-temperature data remanence.

Nikolaos Athanasios Anagnostopoulos, Tolga Arul, Markus Rosenstihl, André Schaller, Sebastian Gabmeyer, Stefan Katzenbeisser

Microprocess. Microsystems, 2019

2018

Intrinsic Run-Time Row Hammer PUFs: Leveraging the Row Hammer Effect for Run-Time Cryptography and Improved Security ^†.

Nikolaos Athanasios Anagnostopoulos, Tolga Arul, Yufan Fan, Christian Hatzfeld, André Schaller, Wenjie Xiong, Manishkumar Jain, Muhammad Umair Saleem, Jan Lotichius, Sebastian Gabmeyer, Jakub Szefer, Stefan Katzenbeisser

Cryptogr., 2018

2017

Scalable Attestation Resilient to Physical Attacks for Embedded Devices in Mesh Networks.

Florian Kohnhäuser, Niklas Büscher, Sebastian Gabmeyer, Stefan Katzenbeisser

CoRR, 2017

SCAPI: a scalable attestation protocol to detect software and physical attacks.

Florian Kohnhäuser, Niklas Büscher, Sebastian Gabmeyer, Stefan Katzenbeisser

Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2017

Intrinsic Rowhammer PUFs: Leveraging the Rowhammer effect for improved security.

André Schaller, Wenjie Xiong, Nikolaos Athanasios Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer

Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, 2017

2016

Practical DRAM PUFs in Commodity Devices.

Wenjie Xiong, André Schaller, Nikolaos A. Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer

IACR Cryptol. ePrint Arch., 2016

Low-temperature data remanence attacks against intrinsic SRAM PUFs.

Nikolaos A. Anagnostopoulos, Stefan Katzenbeisser, Markus Rosenstihl, André Schaller, Sebastian Gabmeyer, Tolga Arul

IACR Cryptol. ePrint Arch., 2016

Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers.

Sebastian Gabmeyer, Martina Seidl

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Run-Time Accessible DRAM PUFs in Commodity Devices.

Wenjie Xiong, André Schaller, Nikolaos A. Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer

Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2016, 2016

2014

Quality Assurance in MBE Back and Forth.

Sebastian Gabmeyer

Proceedings of the Tests and Proofs - 8th International Conference, 2014

MocOCL: A Model Checker for CTL-Extended OCL Specifications.

Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Model Checking of CTL-Extended OCL Specifications.

Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl

Proceedings of the Software Language Engineering - 7th International Conference, 2014

2013

OCL meets CTL: Towards CTL-Extended OCL Model Checking.

Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2012

On formalizing EMF modeling operations with graph transformations.

Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl

ACM SIGSOFT Softw. Eng. Notes, 2012

Towards Scenario-Based Testing of UML Diagrams.

Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Formal verification techniques for model transformations specified by-demonstration.

Sebastian Gabmeyer

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011

Towards Semantics-Aware Merge Support in Optimistic Model Versioning.

Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer

Proceedings of the Models in Software Engineering, 2011