acsl-technion/cosmix
A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
C++NOASSERTION
Stargazers
- 040840308
- ajax4secInstitute of Software Chinese Academy of Sciences
- BonjourzAnt Group
- bronzeMe
- ChampionNan
- Cosmin2106Munich, Germany
- egnchenSchool of Software, SJTU
- Fan4545
- gaow0007Nanyang Technological University
- HANqd
- Hansen-chenHong Kong
- imoldfellaDatagrove
- jmp0x7c00Shanghai, China
- KarshilovTemple University
- LeoneChenUCAS
- lucassong-mhAnt Group
- LucienoGeorgia Institute of Technology
- mahmoudimusVery Good Security
- mbs0221Insititute of Information Engineering
- naohaya
- ritemeFudan U
- shmeni
- StanPlatinumAnt Group
- ThibsG@Cosmian
- woopuiyung
- wxbbuaa2011UCAS
- wyjw
- yanjunaAnjuna