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
522016
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
36*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
262017
A Classification of Model Checking-Based Verification Approaches for Software Models
S Gabmeyer, P Brosch, M Seidl
252013
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
222018
A Feature-Based Classification of Formal Verification Techniques for Software Models
S Gabmeyer, P Kaufmann, M Seidl
Vienna University of Technology, 2014
19*2014
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
162013
Model Checking of CTL-Extended OCL Specifications
R Bill, S Gabmeyer, P Kaufmann, M Seidl
Software Language Engineering SLE2014, 2014
142014
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
142012
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
142011
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
132018
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
F Libisch, J Sonntag, C Stampfer, L Wirtz, B Beschoten, MI Katsnelson, ...
Physical Review Letters 120, 187701, 2018
102018
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
32017
Practical DRAM PUFs in Commodity Devices.
W Xiong, A Schaller, NA Anagnostopoulos, MU Saleem, S Gabmeyer, ...
IACR Cryptol. ePrint Arch. 2016, 253, 2016
22016
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
W Auzinger, O Koch, M Thalhammer
Mathematical and Computer Modelling of Dynamical Systems 16 (5), 403-415, 2010
22010
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
12019
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
1*2014
Formal verification techniques for model transformations specified by-demonstration
S Gabmeyer
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
12012
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
12012
The system can't perform the operation now. Try again later.
Articles 1–20