Martin Berger
- Pydrofoil: accelerating Sail-based instruction set simulators
2025/03/06 by Carl Friedrich Bolz-Tereick, Luke Panayi, Bolz-Tereick, Carl Friedrich +7 · 7 voices
Computer Science · #Embedded Systems Design Techniques #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #cs.PL
- Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
2021/11/24 by Amir Naseredini, Naseredini, Amir, Stefan Gast +13 · 2 voices
Computer Science · #Advanced Malware Detection Techniques #Digital and Cyber Forensics #Security and Verification in Computing #cs.CR
- Impacts of automated vehicles on travel behaviour and land use: an international review of modelling studies
2018/09/28 by Aggelos Soteropoulos, Martin Berger, Francesco Ciari · 1 citation
- Modelling homogeneous generative meta-programming
2016/02/21 by Martin Berger, Berger, Martin, Laurence Tratt +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #D.3.3 #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- ALARM: Active LeArning of Rowhammer Mitigations
2022/11/30 by Amir Naseredini, Naseredini, Amir, Martin Berger +5 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Security and Verification in Computing