Sebastian Gabmeyer

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 14

Top Topics

Embedded Devices

Temporal Epistemic

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Wenjie Xiong, André Schaller, Nikolaos Athanasios Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer
DRAM PUFs in Commodity Devices. IEEE Des. Test 38 (3) (2021)
André Schaller, Wenjie Xiong, Nikolaos Athanasios Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer
Intrinsic Rowhammer PUFs: Leveraging the Rowhammer Effect for Improved Security. CoRR (2019)
André Schaller, Wenjie Xiong, Nikolaos Athanasios Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Boris Skoric, Stefan Katzenbeisser, Jakub Szefer
Decay-Based DRAM PUFs in Commodity Devices. IEEE Trans. Dependable Secur. Comput. 16 (3) (2019)
Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel
A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. 18 (1) (2019)
Nikolaos Athanasios Anagnostopoulos, Tolga Arul, Markus Rosenstihl, André Schaller, Sebastian Gabmeyer, Stefan Katzenbeisser
Attacking SRAM PUFs using very-low-temperature data remanence. Microprocess. Microsystems 71 (2019)
Nikolaos Athanasios Anagnostopoulos, Tolga Arul, Markus Rosenstihl, André Schaller, Sebastian Gabmeyer, Stefan Katzenbeisser
Low-Temperature Data Remanence Attacks Against Intrinsic SRAM PUFs. DSD (2018)
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. 2 (3) (2018)
Florian Kohnhäuser, Niklas Büscher, Sebastian Gabmeyer, Stefan Katzenbeisser
SCAPI: a scalable attestation protocol to detect software and physical attacks. WISEC (2017)
André Schaller, Wenjie Xiong, Nikolaos Athanasios Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer
Intrinsic Rowhammer PUFs: Leveraging the Rowhammer effect for improved security. HOST (2017)
Florian Kohnhäuser, Niklas Büscher, Sebastian Gabmeyer, Stefan Katzenbeisser
Scalable Attestation Resilient to Physical Attacks for Embedded Devices in Mesh Networks. CoRR (2017)
Sebastian Gabmeyer, Martina Seidl
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. TAP@STAF (2016)
Wenjie Xiong, André Schaller, Nikolaos A. Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer
Run-Time Accessible DRAM PUFs in Commodity Devices. CHES (2016)
Wenjie Xiong, André Schaller, Nikolaos A. Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer
Practical DRAM PUFs in Commodity Devices. IACR Cryptol. ePrint Arch. 2016 (2016)
Nikolaos A. Anagnostopoulos, Stefan Katzenbeisser, Markus Rosenstihl, André Schaller, Sebastian Gabmeyer, Tolga Arul
Low-temperature data remanence attacks against intrinsic SRAM PUFs. IACR Cryptol. ePrint Arch. 2016 (2016)
Sebastian Gabmeyer
Quality Assurance in MBE Back and Forth. TAP@STAF (2014)
Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
Model Checking of CTL-Extended OCL Specifications. SLE (2014)
Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl
MocOCL: A Model Checker for CTL-Extended OCL Specifications. VOLT@STAF (2014)
Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
OCL meets CTL: Towards CTL-Extended OCL Model Checking. OCL@MoDELS (2013)
Sebastian Gabmeyer
Formal verification techniques for model transformations specified by-demonstration. ASE (2012)
Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl
On formalizing EMF modeling operations with graph transformations. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Scenario-Based Testing of UML Diagrams. TAP@TOOLS (2012)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS (Workshops) (2011)