utds3lab

Pinned Repositories

derandomization
Language:C++5 3 03
hypershell
Language:C11 5 19
multiverse
A static binary rewriter that does not use heuristics
Language:Python298 21 1033
pemu
Language:C104 22 216
sgx-biniax2
Language:C3 4 01
sgx-log
Securing System Logs With Intel SGX
Language:C15 5 17
sgx-nbench
The nbench benchmark ported to SGX.
Language:C14 4 14
sgxelide
A code confidentiality framework for Intel SGX
Language:C17 6 06
sigpath
Sigpath: Memory Data Structure Analyzer
Language:Python10 4 03
SMVHunter
Set of tools for performing large-scale automated detection of SSL/TLS man-in-the-middle vulnerabilities in Android apps.
Language:Java12 3 011

utds3lab's Repositories

utds3lab/multiverse
A static binary rewriter that does not use heuristics
Language:Python298 21 1033
utds3lab/pemu
Language:C104 22 216
utds3lab/sgxelide
A code confidentiality framework for Intel SGX
Language:C17 6 06
utds3lab/sgx-log
Securing System Logs With Intel SGX
Language:C15 5 17
utds3lab/sgx-nbench
The nbench benchmark ported to SGX.
Language:C14 4 14
utds3lab/SMVHunter
Set of tools for performing large-scale automated detection of SSL/TLS man-in-the-middle vulnerabilities in Android apps.
Language:Java12 3 011
utds3lab/hypershell
Language:C11 5 19
utds3lab/sigpath
Sigpath: Memory Data Structure Analyzer
Language:Python10 4 03
utds3lab/derandomization
Language:C++5 3 03
utds3lab/sgx-biniax2
Language:C3 4 01
utds3lab/sgx-lapd
Language:C++3 3 12
utds3lab/OS-Sommelier
Language:C++2 3 02
utds3lab/bcd
Binary Code Decomposition
Language:Emacs Lisp1 3 0
utds3lab/binforce
5 1
utds3lab/secure-analytics-sgx
Securing Data Analytics on Intel SGX using Randomization
Language:C++3 0