Cryptography and Security · Computer Science
An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Evelyn Haslinger +2
2026-03-12
Cryptography and Security · Computer Science
Code Renewability for Native Software Protection
Bert Abrath, Bart Coppens, Jens Van den Broeck, Brecht Wyseur +3
2020-06-25
Software Engineering · Computer Science
A Survey of Symbolic Execution Techniques
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu +1
2018-05-03
Cryptography and Security · Computer Science
Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis
Joshua Bailey, Charles Nicholas
2025-08-12
Computation and Language · Computer Science
ShieldedCode: Learning Robust Representations for Virtual Machine Protected Code
Mingqiao Mo, Yunlong Tan, Hao Zhang, Heng Zhang +1
2026-01-29
Cryptography and Security · Computer Science
On Secure and Usable Program Obfuscation: A Survey
Hui Xu, Yangfan Zhou, Yu Kang, Michael R. Lyu
2017-10-04
Cryptography and Security · Computer Science
Cyber-Physical Architecture Assisted by Programmable Networking
Jose Rubio-Hernan, Rishikesh Sahay, Luca De Cicco, Joaquin Garcia-Alfaro
2018-02-08
Information Theory · Computer Science
On Error Correction for Physical Unclonable Functions
Sven Puchinger, Sven Müelich, Martin Bossert, Matthias Hiller +1
2015-01-28
Cryptography and Security · Computer Science
On the effectiveness of virtualization-based security
Francesco Gadaleta, Raoul Strackx, Nick Nikiforakis, Frank Piessens +1
2014-05-26
Logic in Computer Science · Computer Science
Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
Letitia W. Li, Denley Lam, Vu Le, Daniel Mitchell +2
2026-01-19
Cryptography and Security · Computer Science
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta +3
2020-01-30
Quantum Physics · Physics
Definitions and Analysis of Quantum E-voting Protocols
Myrto Arapinis, Elham Kashefi, Nikolaos Lamprou, Anna Pappa
2021-04-21
Cryptography and Security · Computer Science
A tool assisted methodology to harden programs against multi-faults injections
Etienne Boespflug, Abderrahmane Bouguern, Laurent Mounier, Marie-Laure Potet
2023-03-06
Cryptography and Security · Computer Science
Security and Machine Learning in the Real World
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman +2
2020-07-15