Follow
Sebastian Gabmeyer
Sebastian Gabmeyer
Postdoc, TU Darmstadt
Verified email at seceng.informatik.tu-darmstadt.de - Homepage
Title
Cited by
Cited by
Year
Run-time accessible DRAM PUFs in commodity devices
W Xiong, A Schaller, NA Anagnostopoulos, MU Saleem, S Gabmeyer, ...
Cryptographic Hardware and Embedded Systems–CHES 2016: 18th International …, 2016
932016
Intrinsic Rowhammer PUFs: Leveraging the Rowhammer effect for improved security
A Schaller, W Xiong, NA Anagnostopoulos, MU Saleem, S Gabmeyer, ...
2017 IEEE International Symposium on Hardware Oriented Security and Trust …, 2017
86*2017
Decay-based DRAM PUFs in commodity devices
A Schaller, W Xiong, NA Anagnostopoulos, MU Saleem, S Gabmeyer, ...
IEEE Transactions on Dependable and Secure Computing 16 (3), 462-475, 2018
642018
Scapi: a scalable attestation protocol to detect software and physical attacks
F Kohnhäuser, N Büscher, S Gabmeyer, S Katzenbeisser
Proceedings of the 10th ACM conference on security and privacy in wireless …, 2017
642017
Low-temperature data remanence attacks against intrinsic SRAM PUFs
NA Anagnostopoulos, T Arul, M Rosenstihl, A Schaller, S Gabmeyer, ...
2018 21st Euromicro Conference on Digital System Design (DSD), 581-585, 2018
392018
A Classification of Model Checking-Based Verification Approaches for Software Models
S Gabmeyer, P Brosch, M Seidl
312013
A Feature-Based Classification of Formal Verification Techniques for Software Models
S Gabmeyer, P Kaufmann, M Seidl
Vienna University of Technology, 2014
30*2014
Model Checking of CTL-Extended OCL Specifications
R Bill, S Gabmeyer, P Kaufmann, M Seidl
Software Language Engineering SLE2014, 2014
202014
Towards scenario-based testing of UML diagrams
P Brosch, U Egly, S Gabmeyer, G Kappel, M Seidl, H Tompits, M Widl, ...
International Conference on Tests and Proofs, 149-155, 2012
192012
Towards semantics-aware merge support in optimistic model versioning
P Brosch, U Egly, S Gabmeyer, G Kappel, M Seidl, H Tompits, M Widl, ...
International Conference on Model Driven Engineering Languages and Systems …, 2011
182011
OCL meets CTL: Towards CTL-Extended OCL Model Checking
R Bill, S Gabmeyer, P Kaufmann, M Seidl
Proceedings of the MODELS 2013 OCL Workshop 1092, 13-22, 2013
172013
Attacking SRAM PUFs using very-low-temperature data remanence
NA Anagnostopoulos, T Arul, M Rosenstihl, A Schaller, S Gabmeyer, ...
Microprocessors and Microsystems 71, 102864, 2019
152019
Insights into the potential usage of the initial values of dram arrays of commercial off-the-shelf devices for security applications
NA Anagnostopoulos, A Schaller, Y Fan, W Xiong, F Tehranipoor, T Arul, ...
Proceedings of the 26th Crypto-Day, Nuremberg, Germany, 1-2, 2017
52017
Practical DRAM PUFs in Commodity Devices.
W Xiong, A Schaller, NA Anagnostopoulos, MU Saleem, S Gabmeyer, ...
IACR Cryptol. ePrint Arch. 2016, 253, 2016
22016
Lightweight symbolic verification of graph transformation systems with off-the-shelf hardware model checkers
S Gabmeyer, M Seidl
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of …, 2016
22016
On formalizing emf modeling operations with graph transformations
P Brosch, S Gabmeyer, G Kappel, M Seidl
ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012
22012
DRAM PUFs in Commodity Devices
W Xiong, A Schaller, NA Anagnostopoulos, MU Saleem, S Gabmeyer, ...
IEEE Design & Test 38 (3), 76-83, 2021
12021
New model checking techniques for software systems modeled with graphs and graph transformations
S Gabmeyer
Technische Universität Wien, 2015
12015
Quality assurance in MBE back and forth
S Gabmeyer
International Conference on Tests and Proofs, 78-81, 2014
12014
MocOCL: A Model Checker for CTL-Extended OCL Specifications⋆
R Bill, S Gabmeyer, P Kaufmann, M Seidl
Proceedings of the Third International Workshop on Verification of Model …, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20