Sebastian Gabmeyer
Sebastian Gabmeyer
Postdoc, TU Darmstadt
Geverifieerd e-mailadres voor seceng.informatik.tu-darmstadt.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
502016
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
34*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
242017
A Classification of Model Checking-Based Verification Approaches for Software Models
S Gabmeyer, P Brosch, M Seidl
242013
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
212018
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
152013
A Feature-Based Classification of Formal Verification Techniques for Software Models
S Gabmeyer, P Kaufmann, M Seidl
Vienna University of Technology, 2014
14*2014
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
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
132012
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
122018
Model Checking of CTL-Extended OCL Specifications
R Bill, S Gabmeyer, P Kaufmann, M Seidl
Software Language Engineering SLE2014, 2014
112014
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
E Kozeschnik, J Svoboda, R Radis, FD Fischer
Modelling and Simulation in Materials Science and Engineering 18 (015011), 1-19, 2010
102010
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
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
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
2019
Scalable Attestation Resilient to Physical Attacks for Embedded Devices in Mesh Networks
F Kohnhäuser, N Büscher, S Gabmeyer, S Katzenbeisser
arXiv preprint arXiv:1701.08034, 2017
2017
An extensive classification and analysis of attacks against Physical Unclonable Functions (PUFs)
NA Anagnostopoulos, S Gabmeyer, T Arul, S Katzenbeisser
27th Crypto-Day, 2017
2017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20