Go to Advanced Search
SECURIFY: A Compositional Approach of Building Security Verified System (Asst. Prof. Liu Yang, SCSE) DEFEND: Design for Security (Asst. Prof. Lam Siew Kei, SCSE) Analysis and Conception of Symmetric Key Cryptography Primitives (Asst. Prof. Thomas Peyrin, SPMS) A Joint Optimization Approach to Security-as-a-Service Allocation and Cyber Insurance Management (Assoc. Prof. Dusit Niyato, SCSE) Security Enhanced Technologies for IEEE 802.11p (Assoc. Prof. Ma Maode, EEE) Mechanized Security Proofs for Security Protocols (Asst. Prof. Alwen Fernanto Tiu, SCSE) Cyber security for autonomous vehicle (ASST. PROF. Mo yilin, eee) Exploiting Custom Instructions for program diversification to protect against timing side channel attacks (ASST. PROF. lam siew kei, scse)
SECURIFY: A Compositional Approach of Building Security Verified System (Asst. Prof. Liu Yang, SCSE) DEFEND: Design for Security (Asst. Prof. Lam Siew Kei, SCSE) Analysis and Conception of Symmetric Key Cryptography Primitives (Asst. Prof. Thomas Peyrin, SPMS)
A Joint Optimization Approach to Security-as-a-Service Allocation and Cyber Insurance Management (Assoc. Prof. Dusit Niyato, SCSE) Security Enhanced Technologies for IEEE 802.11p (Assoc. Prof. Ma Maode, EEE) Mechanized Security Proofs for Security Protocols (Asst. Prof. Alwen Fernanto Tiu, SCSE) Cyber security for autonomous vehicle (ASST. PROF. Mo yilin, eee) Exploiting Custom Instructions for program diversification to protect against timing side channel attacks (ASST. PROF. lam siew kei, scse)
Back to listing