| 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 | 92 | 2016 |
| 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 | 89* | 2017 |
| 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 | 64 | 2018 |
| 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 | 64 | 2017 |
| 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 | 40 | 2018 |
| A Feature-Based Classification of Formal Verification Techniques for Software Models S Gabmeyer, P Kaufmann, M Seidl Vienna University of Technology, 2014 | 31* | 2014 |
| A Classification of Model Checking-Based Verification Approaches for Software Models S Gabmeyer, P Brosch, M Seidl | 31 | 2013 |
| Model Checking of CTL-Extended OCL Specifications R Bill, S Gabmeyer, P Kaufmann, M Seidl Software Language Engineering SLE2014, 2014 | 20 | 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 | 19 | 2012 |
| 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 | 18 | 2011 |
| 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 | 17 | 2013 |
| 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 | 15 | 2019 |
| 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 | 5 | 2017 |
| Practical DRAM PUFs in Commodity Devices. W Xiong, A Schaller, NA Anagnostopoulos, MU Saleem, S Gabmeyer, ... IACR Cryptol. ePrint Arch. 2016, 253, 2016 | 2 | 2016 |
| 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 | 2 | 2016 |
| 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 | 2 | 2012 |
| DRAM PUFs in Commodity Devices W Xiong, A Schaller, NA Anagnostopoulos, MU Saleem, S Gabmeyer, ... IEEE Design & Test 38 (3), 76-83, 2021 | 1 | 2021 |
| New model checking techniques for software systems modeled with graphs and graph transformations S Gabmeyer Technische Universität Wien, 2015 | 1 | 2015 |
| Quality assurance in MBE back and forth S Gabmeyer International Conference on Tests and Proofs, 78-81, 2014 | 1 | 2014 |
| 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 |
Martina SeidlUniv.-Prof., JKU Linz在 jku.at 的电子邮件经过验证
