Son Ho

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 11

Top Topics

Cryptographic Algorithms

Datalog Queries

Formal Analysis

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Son Ho, Aymeric Fromherz, Jonathan Protzenko
Sound Borrow-Checking for Rust via Symbolic Semantics. CoRR (2024)
Son Ho, Clément Pit-Claudel
Incremental Proof Development in Dafny with Module-Based Induction. CoRR (2024)
Son Ho, Aymeric Fromherz, Jonathan Protzenko
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Son Ho, Jonathan Protzenko
Aeneas: Rust Verification by Functional Translation. CoRR (2022)
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations. IEEE Symposium on Security and Privacy (2022)
Son Ho, Jonathan Protzenko
Aeneas: Rust verification by functional translation. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version). IACR Cryptol. ePrint Arch. 2022 (2022)
Jonathan Protzenko, Son Ho
Zero-cost meta-programmed stateful functors in F. CoRR (2021)
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
Proof-Producing Synthesis of CakeML from Monadic HOL Functions. J. Autom. Reason. 64 (7) (2020)
Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan, Michael Norrish
Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions. IJCAR (2018)
Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications. VSTTE (2018)
Autar Kaw, Son Ho
On introducing approximate solution methods in theory of elasticity. Comput. Appl. Eng. Educ. 14 (2) (2006)