Sotabase

Career

· PhD Computer Science, University of Cambridge

Publications (9)

FRAMER: a tagged-pointer capability system with memory safety applications
Asia-Pacific Computer Systems Architecture Conference · 2019
25
cited
SAT-Based Combinational Equivalence Checking with Don’t Care
2004
11
cited
Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications
Forum on Specification and Design Languages · 2010
6
cited
Inline and sideline approaches for low-cost memory safety in C
2020
1
cited
MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems
International Conference on Detection of intrusions and malware, and vulnerability assessment · 2017
1
cited
C R ] 1 M ar 2 01 9 FRAMER : A Software-based Capability Model 1
2019
FRAMER: A Cache-friendly Software-based Capability Model
arXiv.org · 2018
FRAMER: A Software-based Capability Model.
2019
FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper)
arXiv.org · 2024
Sotabase
Myoung Jin Nam | Researcher Profile | Sotabase | Sotabase