Security, privacy, & cryptography

출판

Enlightening Ph.D. Students with the Elegance of Logic — My personal memory about Prof. Jose Meseguer

Shuo Chen

Proceedings of the Festschrift Symposium in Honor of Jose Meseguer (LNCS 9200) | September 2015

출판

Ring-LWE cryptography for the number theorist

Yara Elias, Kristin Lauter, Ekin Ozman, Katherine E. Stange

arXiv preprint arXiv:1508.01375 | September 2015

프로젝트

출판

Bulk Collection of Signals Intelligence: Technical Options

Butler Lampson

Published by National Academy Press | September 2015

편집자: Alan Shaw

ISBN: 978-0-309-32520-2

출판

Accelerating SWHE Based PIRs Using GPUs

Wei Dai, Yarkın Doröz, Berk Sunar

FC 2015: Financial Cryptography and Data Security | September 2015

출판

Homomorphic computation of edit distance

Jung Hee Cheon, Miran Kim, Kristin Lauter

International Conference on Financial Cryptography and Data Security – FC 2015 | September 2015

출판

Secure Computation Interfaces

Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado

MSR-TR-2015-67 | August 2015

글쓴이 Microsoft

프로젝트

FourQlib is an efficient and portable math library that provides functions for computing essential elliptic curve operations on a high-performance curve called “FourQ”. This curve targets the 128-bit security level and supports computations that are…

출판

Subgroup Security in Pairing-Based Cryptography

Paulo S. L. M. Barreto, Craig Costello, Rafael Misoczki, Michael Naehrig, Geovandro C. C. F. Pereira, Gustavo Zanon

Progress in Cryptology – LATINCRYPT 2015 – 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico | August 2015

ISBN: 978-3-319-22173-1

툴

Ironclad

Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior.

깃허브 출판

출판

Fully Reversible Privacy Region Protection for Cloud Video Surveillance

Xiaojing Ma, Wenjun Zeng, Laurence T. Yang, Yang Xiang, Deqing Zou, Hai Jin

Transactions on Cloud Computing, Special Issue on Cloud Security Engineering | August 2015, 제 5 권(3): pp. 510-522

Security, privacy, & cryptography

Verifying Rust cryptography in SymCrypt, from standards to code

Vega: Zero-knowledge proofs for digital identity in the age of AI

Ire identifies another LOTUSLITE specimen

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Enlightening Ph.D. Students with the Elegance of Logic — My personal memory about Prof. Jose Meseguer

Ring-LWE cryptography for the number theorist

Bulk Collection of Signals Intelligence: Technical Options

Accelerating SWHE Based PIRs Using GPUs

Homomorphic computation of edit distance

Secure Computation Interfaces

FourQlib

Subgroup Security in Pairing-Based Cryptography

Ironclad

Fully Reversible Privacy Region Protection for Cloud Video Surveillance

Security, privacy, & cryptography

하이라이트