共 50 条
- [1] Witnessing Secure Compilation VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 1 - 22
- [2] Robustly Safe Compilation, an Efficient Form of Secure Compilation ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2021, 43 (01):
- [3] Secure Compilation to Modern Processors 2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, : 171 - 185
- [4] Secure compilation and hyperproperty preservation 2017 IEEE 30TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2017, : 392 - 404
- [5] A Categorical Approach to Secure Compilation COALGEBRAIC METHODS IN COMPUTER SCIENCE, CMCS 2020, 2020, 12094 : 155 - 179
- [6] Secure Compilation of Constant -Resource Programs 2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021), 2021, : 237 - 248
- [7] Secure Compilation to Protected Module Architectures ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 37 (02):
- [8] Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), 2019, : 133 - 145
- [10] HyCC: Compilation of Hybrid Protocols for Practical Secure Computation PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18), 2018, : 847 - 861