- Modern iOS Security Features -- A Deep Dive into SPTM, TXM, and Exclaves
2025/10/10 by Moritz Steffin, Steffin, Moritz, Jiska Classen +1 · 23 voices · 1 citation
Computer Science · #Advanced Data Storage Technologies #Advanced Malware Detection Techniques #Architecture #Code (set theory) #Computer security model #Event (particle physics) #Feature (linguistics) #Frame (networking) #Kernel (algebra) #Key (lock) #Security and Verification in Computing #Security through obscurity #cs.CR
- Securing AI Agents with Information-Flow Control
2025/05/29 by Manuel Costa, Manuel F. M. Costa, Costa, Manuel +16 · 3 voices · 43 citations
Computer Science · Social Sciences · #Access Control and Trust #Access control #Adversarial Robustness in Machine Learning #Class (philosophy) #Computer security model #Confidentiality #Construct (python library) #Control (management) #Planner #Security and Verification in Computing #Security testing
- Universally Composable Security
2020/09/16 by Ran Canetti · 6 citations
Computer Science · #Advanced Authentication Protocols Security #Computer science #Computer security #Computer security model #Context (archaeology) #Cryptographic Implementations and Security #Cryptographic primitive #Cryptographic protocol #Cryptography #Cryptography and Data Security #Distributed computing #Modular design #Programming language #Protocol (science) #Theoretical computer science
- HMQV: A High-Performance Secure Diffie-Hellman Protocol
2005/01/01 by Hugo Krawczyk · 2 citations
Computer Science · #Advanced Authentication Protocols Security #Authenticated Key Exchange #Authentication (law) #Blind signature #Computer science #Computer security #Computer security model #Cryptography and Data Security #Diffie–Hellman key exchange #Encryption #Key (lock) #Key exchange #Oakley protocol #Protocol (science) #Public-key cryptography #Random oracle #Schnorr signature #User Authentication and Security Systems
- On the security of public key protocols
1983/03/01 by D. Dolev, Danny Dolev, A. Yao · 119 citations
Computer Science · #Advanced Authentication Protocols Security #Computer network #Computer science #Computer security #Computer security model #Cryptographic Implementations and Security #Cryptographic protocol #Cryptography #Cryptography and Data Security #DECIPHER #Encryption #Key (lock) #Protocol (science) #Public-key cryptography