- Simplified and Secure MCP Gateways for Enterprise AI Integration
2025/04/28 by Ivo Brett, Brett, Ivo · 2 citations
Computer Science · Social Sciences · #Access Control and Trust #Artificial Intelligence (cs.AI) #Context (archaeology) #Cryptographic protocol #Cryptography and Security (cs.CR) #Enterprise information security architecture #FOS: Computer and information sciences #Gateway (web page) #Intrusion detection system #Key (lock) #Mobile Agent-Based Network Management #Multi-Agent Systems and Negotiation #Protocol (science) #Public-key cryptography
- MCP Safety Audit: LLMs with the Model Context Protocol Allow Major Security Exploits
2025/04/02 by Brandon Radosevich, Radosevich, Brandon, John M. Halloran +2 · 1 voice · 34 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Audit #Context (archaeology) #Credential #Cryptographic protocol #Cryptography and Security (cs.CR) #Exploit #FOS: Computer and information sciences #Machine Learning (cs.LG) #Protocol (science) #Security and Verification in Computing #Set (abstract data type) #Software System Performance and Reliability #Vulnerability (computing) #Workflow #cs.AI #cs.CR #cs.LG
- You Really Shouldn't Roll Your Own Crypto: An Empirical Study of Vulnerabilities in Cryptographic Libraries
2021/07/11 by Jenny Blessing, Michael A. Specter, Blessing, Jenny +3 · 3 voices
Computer Science · #Advanced Malware Detection Techniques #Computer science #Computer security #Cryptographic primitive #Cryptographic protocol #Cryptography #Information security #Internet privacy #Secure coding #Security and Verification in Computing #Security service #Software security assurance #Vulnerability (computing) #Web Application Security Vulnerabilities
- Automated Symbolic Verification of Telegram’s MTProto 2.0
2020/12/05 by Marino Miculan, Nicola Vitacolonna · 5 voices
Computer Science · #Advanced Authentication Protocols Security #Authentication (law) #Computer network #Computer science #Computer security #Correctness #Cryptographic primitive #Cryptographic protocol #Cryptography #Cryptography and Data Security #Encryption #Forward secrecy #Key management #Mathematical proof #Message authentication code #Programming language #Public-key cryptography #Rekeying #Robustness (evolution) #Secrecy #Server #Soundness #Theoretical computer science #User Authentication and Security Systems
- 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
- Probabilistic Properties of the Spatial Bloom Filters and Their Relevance to Cryptographic Protocols
2018/01/29 by Luca Calderoni, Paolo Palmieri, Dario Maio · 1 citation
Computer Science · #Caching and Content Delivery #Cryptography and Data Security #Internet Traffic Analysis and Secure E-voting #Bloom filter #Computer science #Probabilistic logic #Hash function #Theoretical computer science #Homomorphic encryption #Cryptography #Cryptographic primitive #Cryptographic protocol #Filter (signal processing) #Data mining #Encryption #Algorithm #Computer security #Artificial intelligence
- A generalized methodology for designing non-linear elements in symmetric cryptographic primitives
2018/01/01 by Chuck Easttom · 1 citation
Computer Science · #Cryptographic Implementations and Security #Chaos-based Image/Signal Encryption #Coding theory and cryptography #Symmetric-key algorithm #Computer science #Cryptography #S-box #Cipher #Construct (python library) #Cryptographic primitive #Block cipher #Theoretical computer science #Stream cipher #Variety (cybernetics) #Encryption #Algorithm #Cryptographic protocol #Computer security #Programming language #Public-key cryptography #Artificial intelligence
- A Comprehensive Formal Security Analysis of OAuth 2.0
2016/01/06 by Daniel Fett, Ralf Kuesters, Fett, Daniel +4 · 7 voices · 8 citations
Computer Science · Social Sciences · #Access Control and Trust #Authentication (law) #Computer science #Computer security #Cryptographic protocol #Cryptography #Identity management #Internet privacy #Password #Security analysis #Security and Verification in Computing #Single sign-on #Web Application Security Vulnerabilities #cs.CR
- Cryptographic Hash Function
2015/01/01 by Imad Fakhri Taha Alshaikhli, Mohammad A. AlAhmad · 1 citation
Computer Science · #Cryptographic Implementations and Security #Chaos-based Image/Signal Encryption #Advanced Malware Detection Techniques #Hash function #Cryptographic hash function #Computer science #Security of cryptographic hash functions #Cryptography #SHA-2 #Hash chain #Communication source #Theoretical computer science #Cryptographic primitive #Function (biology) #Cryptographic protocol #Double hashing #Algorithm #Computer security #Computer network
- On Robust Combiners for Oblivious Transfer and Other Primitives
2005/01/01 by Danny Harnik, Joe Kilian, Moni Naor +2 · 1 citation
Computer Science · Engineering · Mathematics · #Algorithm #Coding theory and cryptography #Computation #Computer science #Computer security #Cryptographic primitive #Cryptographic protocol #Cryptography #Cryptography and Data Security #Discrete mathematics #Key (lock) #Mathematics #Oblivious transfer #Robustness (evolution) #Scheme (mathematics) #Theoretical computer science #graph theory and CDMA systems
- Unconditional security of practical quantum key distribution
2001/07/03 by H. Inamori, Hitoshi Inamori, Norbert Lütkenhaus +3 · 1 citation
Computer Science · Physics and Astronomy · #Advanced Statistical Modeling Techniques #BB84 #Communication source #Cryptographic protocol #Cryptography #Key (lock) #Protocol (science) #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum cryptography #Quantum key distribution #quant-ph
- On the security of public key protocols
1983/03/01 by D. Dolev, Danny Dolev, A. Yao · 117 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
- New directions in cryptography
1976/11/01 by Whitfield Diffie, W. Diffie, M. Hellman +1 · 244 citations
Computer Science · Mathematics · #Algorithm #Chaos-based Image/Signal Encryption #Coding theory and cryptography #Computability, Logic, AI Algorithms #Computation #Computer science #Computer security #Cryptographic primitive #Cryptographic protocol #Cryptography #Cryptosystem #Digital signature #Encryption #Financial cryptography #Hash function #ID-based cryptography #Key (lock) #Key distribution #Mathematics #Neural cryptography #PKCS #1 #Public-key cryptography #Signature (topology) #Theoretical computer science