Sebastian Gabmeyer

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