Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman

Source URL: www.cs.ioc.ee

• Theoretical computer science
• Models of computation
• Mathematical logic
• Software engineering
• Computability theory
• Denotational semantics
• Logic in computer science
• Lambda calculus
• Substitution
• Function type

Talos: Encrypted Query Processing for the Internet of Things Hossein Shafagh, Anwar Hithnawi, Andreas Dröscher Simon Duquennoy

Source URL: www.vs.inf.ethz.ch

• Cryptography
• Homomorphic encryption
• Paillier cryptosystem
• Probabilistic encryption
• Block cipher
• Encryption
• Ciphertext indistinguishability
• Cloud computing security
• Blowfish
• ElGamal encryption
• GoldwasserMicali cryptosystem
• Initialization vector

An ASM Fitting Method Based on Machine Learning that Provides a Robust Parameter Initialization for AAM Fitting∗ Matthias Wimmer1 , Shinya Fujie1 , Freek Stulp2 , Tetsunori Kobayashi1 , Bernd Radig2 1 Perceptual Comput

Source URL: wimmerm.bplaced.net

Enforcing Secure Object Initialization in Java Laurent Hubert1 , Thomas Jensen2 , Vincent Monfort2 , and David Pichardie2 1 2

Source URL: www.trebuh.net

Effective Modern C++ Topics include: ■■ The pros and cons of braced initialization, noexcept

Source URL: cdn.oreillystatic.com

2012 Seventh International Conference on Availability, Reliability and Security Topology-Driven Secure Initialization in Wireless Sensor Networks: A Tool-Assisted Approach Stanislaus Stelle∗ , Mark Manulis∗† , and

Source URL: manulis.eu

A Type System for Object Initialization In the Java Bytecode Language∗ TM Stephen N. Freund John C. Mitchell

Source URL: dept.cs.williams.edu

A Type System for Object Initialization in the Java Bytecode Language STEPHEN N. FREUND and JOHN C. MITCHELL Stanford University In the standard Java implementation, a Java language program is compiled to Java bytecode.

Source URL: dept.cs.williams.edu

This paper appeared in Proceedings of the 23rd USENIX Security Symposium, AugustTapDance: End-to-Middle Anticensorship without Flow Blocking Eric Wustrow University of Michigan

Source URL: jhalderm.com

• Cryptographic protocols
• Secure communication
• Internet protocols
• Transport Layer Security
• Network protocols
• Transmission Control Protocol
• HTTPS
• Ciphertext indistinguishability
• Initialization vector
• Hypertext Transfer Protocol
• Block cipher mode of operation
• Keystream