Implementing and Proving the TLS 1.3 Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin Microsoft Research {antdl,fournet

Source URL: www.ieee-security.org

• Cryptography
• Secure communication
• Message authentication codes
• Transport Layer Security
• Cryptographic protocols
• Internet Standards
• Cipher suite
• Authenticated encryption
• Poly1305
• Galois/Counter Mode
• OpenSSL
• Key generation

Formal Verification of Smart Contracts Short Paper Karthikeyan Bhargavan1 , Antoine Delignat-Lavaud2 , Cédric Fournet2 , Anitha Gollamudi3 , Georges Gonthier2 , Nadim Kobeissi1 , Natalia Kulatova1 , Aseem Rastogi2 , Tho

Source URL: antoine.delignat-lavaud.fr

Leveraging monotonic state in F* Danel Ahman @ INRIA Paris joint work with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

Source URL: danelahman.github.io

Embracing monotonicity in Danel Ahman @ INRIA Paris based on a joint POPL 2018 paper with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

Source URL: danelahman.github.io

Recalling a Witness Foundations and Applications of Monotonic State Danel Ahman @ INRIA Paris C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

Source URL: danelahman.github.io

Embracing monotonicity in Danel Ahman @ INRIA Paris joint work with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

Source URL: danelahman.github.io

1 Optimizing Average Precision using Weakly Supervised Data Aseem Behl, Student Member, IEEE, Pritish Mohapatra, C. V. Jawahar, Member, IEEE, and M. Pawan Kumar

Source URL: cvit.iiit.ac.in

• Machine learning
• Learning
• Support vector machines
• Artificial intelligence
• Statistical classification
• Structured support vector machine

Gone, But Not Forgotten: The Current State of Private Computing Aseem Rastogi∗ University of Maryland, College Park Abstract—Private data comes in many forms: web browser

Source URL: www3.cs.stonybrook.edu

Priors for Large Photo Collections and What They Reveal about Cameras Sujit Kuthirummal1 , Aseem Agarwala2, Dan B Goldman2 , and Shree K. Nayar1 1 2

Source URL: www1.cs.columbia.edu

• Science of photography
• Photography
• Image processing
• Optics
• Vignetting
• Camera
• Image segmentation
• Image histogram
• Exposure
• Color histogram