Folgen
Sebastian Gabmeyer
Sebastian Gabmeyer
Postdoc, TU Darmstadt
Bestätigte E-Mail-Adresse bei seceng.informatik.tu-darmstadt.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
902016
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
84*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
612017
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
602018
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
372018
A Classification of Model Checking-Based Verification Approaches for Software Models
S Gabmeyer, P Brosch, M Seidl
302013
A Feature-Based Classification of Formal Verification Techniques for Software Models
S Gabmeyer, P Kaufmann, M Seidl
Vienna University of Technology, 2014
28*2014
Model Checking of CTL-Extended OCL Specifications
R Bill, S Gabmeyer, P Kaufmann, M Seidl
Software Language Engineering SLE2014, 2014
192014
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
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
172011
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
132019
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
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
Formal verification techniques for model transformations specified by-demonstration
S Gabmeyer
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
12012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20