Scalable Byzantine Fault Tolerance via Partial Decentralization

von Arun, Balaji
Veröffentlicht in International Conference on Very Large Data Bases (48. : 2022 : Sydney; Online) 48th International Conference on Very Large Data Bases (VLDB 2022) ; Part 3 of 6 (2023)

Dynamic and Secure Memory Transformation in Userspace

von Lyerly, Robert
Veröffentlicht in ESORICS (25. : 2020 : Online) Computer Security – ESORICS 2020 ; Part 1 (2020)

A Validation Methodology for OCaml-to-PVS Translation

von An, Xiaoxin
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Sound C Code Decompilation for a Subset of x86-64 Binaries

von Verbeek, Freek
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)

DSV: Disassembly Soundness Validation Without Assuming a Ground Truth

von An, Xiaoxin
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Highly Automated Formal Proofs over Memory Usage of Assembly Code

von Verbeek, Freek
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

Verification of Functional Correctness of Code Diversification Techniques

von Jang, Jae-Won
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

A Framework for Software Diversification with ISA Heterogeneity

von Wang, Xiaoguang
Veröffentlicht in RAID (23. : 2020 : Online) 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020) (2021)