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, ...
International Conference on Cryptographic Hardware and Embedded Systems, 432-453, 2016
702016
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
53*2017
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
502017
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
402018
A Classification of Model Checking-Based Verification Approaches for Software Models
S Gabmeyer, P Brosch, M Seidl
302013
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
292018
A Feature-Based Classification of Formal Verification Techniques for Software Models
S Gabmeyer, P Kaufmann, M Seidl
Vienna University of Technology, 2014
23*2014
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
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
Model Checking of CTL-Extended OCL Specifications
R Bill, S Gabmeyer, P Kaufmann, M Seidl
Software Language Engineering SLE2014, 2014
162014
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
152011
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
62019
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
32016
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
Lightweight symbolic verification of graph transformation systems with off-the-shelf hardware model checkers
S Gabmeyer, M Seidl
International Conference on Tests and Proofs, 94-111, 2016
12016
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
Formal verification techniques for model transformations specified by-demonstration
S Gabmeyer
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
12012
Formalization of the Operation Recorder based on Graph Transformation Theory
S Gabmeyer
Master’s thesis, Vienna University of Technology, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20