A Practical Algorithm for Topic Modeling with Provable Guarantees Sanjeev Arora Rong Ge Yoni Halpern David Mimno

Source URL: cs.nyu.edu

Audit Mechanisms for Provable Risk Management and Accountable Data Governance? Jeremiah Blocki, Nicolas Christin, Anupam Datta, and Arunesh Sinha Carnegie Mellon University, Pittsburgh, PA {jblocki, nicolasc, danupam, ar

Source URL: www.contrib.andrew.cmu.edu

• Game theory
• Signaling game
• Extensive-form game
• Internal audit
• Economy
• Mathematics
• Science and technology

Provable post-quantum security Renato Renner Institute for Theoretical Physics

Source URL: pqc2010.cased.de

Adapting Helios for provable ballot privacy David Bernhard1 , V´eronique Cortier2 , Olivier Pereira3 , Ben Smyth2 , Bogdan Warinschi1 1 3

Source URL: bensmyth.com

Supplemental Material for “A Practical Algorithm for Topic Modeling with Provable Guarantees” Sanjeev Arora Rong Ge Yoni Halpern

Source URL: cs.nyu.edu

Provable Security of Cryptographic Hash Functions Mohammad Reza Reyhanitabar Centre for Computer and Information Security Research University of Wollongong Australia

Source URL: web.spms.ntu.edu.sg

Provable Bounds for Portable and Flexible Privacy-Preserving Access Rights ∗ Marina Blanton Mikhail J. Atallah

Source URL: www.cse.nd.edu

- Call for papers The Ninth International Conference on Provable Security (ProvSecNovember 24-26, 2015 Kanazawa, Japan Web Page: https://security-lab.jaist.ac.jp/provsec2015/ Contact: t.a

Source URL: security-lab.jaist.ac.jp

• Cryptography
• Serge Vaudenay
• Provable security
• Zhang Fangguo
• Cryptographic primitive
• Willy Susilo
• Block cipher
• Cryptographic hash function

A Provable-Security Analysis of Intel’s Secure Key RNG Thomas Shrimpton and R. Seth Terashima Dept. of Computer Science, Portland State University {teshrim,seth}@cs.pdx.edu Abstract. We provide the first provable-secu

Source URL: eprint.iacr.org

A web-application architecture for Secure Cloud Computing Provable regulatory compliance!

Source URL: www.strongauth.com