Sebastian Gabmeyer
Orcid: 0000-0002-4097-9917
According to our database1,
Sebastian Gabmeyer
authored at least 20 papers
between 2011 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
0
1
2
3
4
5
1
3
1
1
2
1
2
2
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
2019
IEEE Trans. Dependable Secur. Comput., 2019
A feature-based classification of formal verification techniques for software models.
Softw. Syst. Model., 2019
Microprocess. Microsystems, 2019
2018
Intrinsic Run-Time Row Hammer PUFs: Leveraging the Row Hammer Effect for Run-Time Cryptography and Improved Security <sup>†</sup>.
Cryptogr., 2018
2017
Scalable Attestation Resilient to Physical Attacks for Embedded Devices in Mesh Networks.
CoRR, 2017
Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2017
Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, 2017
2016
IACR Cryptol. ePrint Arch., 2016
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers.
Proceedings of the Tests and Proofs - 10th International Conference, 2016
Proceedings of the Cryptographic Hardware and Embedded Systems - CHES 2016, 2016
2014
Proceedings of the Tests and Proofs - 8th International Conference, 2014
Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014
Proceedings of the Software Language Engineering - 7th International Conference, 2014
2013
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the Tests and Proofs - 6th International Conference, 2012
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
2011
Proceedings of the Models in Software Engineering, 2011