Speeding Up the Constraint-Based Method in Difference Logic ⋆ Lorenzo Candeago1, Daniel Larraz2, Albert Oliveras2, Enric Rodr´ıguez-Carbonell2, and Albert Rubio2 2

Source URL: www.lsi.upc.edu

• Mathematics
• Theoretical computer science
• Algebra
• Linear programming
• Formal methods
• Constraint programming
• Declarative programming
• Invariant
• Satisfiability modulo theories
• Linear inequality
• Inequality

Revisiting Proxy Re-Encryption: Forward Secrecy, Improved Security, and Applications David Derler1 , Stephan Krenn2 , Thomas Lor¨ unser2 , Sebastian Ramacher1 , 2 Daniel Slamanig , and Christoph Striecks2

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Proxy re-encryption
• ID-based encryption
• Homomorphic encryption
• ElGamal encryption
• Chosen-ciphertext attack
• Encryption
• RSA
• Key
• Symmetric-key algorithm
• Identity-based conditional proxy re-encryption

Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

Source URL: www.cs.toronto.edu

• Data types
• Computing
• Theoretical computer science
• Software engineering
• Heap
• Tree
• Separation logic
• Variable
• Parse tree
• Logic programming
• Linked list

Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation? David Derler1 , Sebastian Ramacher1 , and Daniel Slamanig2 1 2

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Elliptic curve cryptography
• Key management
• Digital Signature Standard
• Digital signature
• Key
• Post-quantum cryptography
• EdDSA
• RSA
• Model theory
• Digital Signature Algorithm

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

Virtualizing Real-World Objects in FRP Daniel Winograd-Cort1, Hai Liu2 , and Paul Hudak3 1 Yale University 2

Source URL: thev.net

• Signal processing
• Mathematics
• Digital signal processing
• Signal
• Mathematical logic
• Function
• Electrical engineering
• Proof theory
• Programming language semantics

Dynamic Conditionals? In other words, 3(P &Q) seems to rule out P → ¬Q.2 ‘Or-to-if’ inference [Stalnaker, 1975]: Daniel Rothschild

Source URL: danielrothschild.com

Three Structure-Selective Endonucleases Are Essential in the Absence of BLM Helicase in Drosophila Sabrina L. Andersen1¤, H. Kenny Kuo2, Daniel Savukoski3, Michael H. Brodsky3, Jeff Sekelsky1,2,4* 1 Curriculum in Geneti

Source URL: sekelsky.bio.unc.edu

Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2

Source URL: www.georg.weissenbacher.science

An Interactive Visualization for Tabbed Browsing Behavior Analysis Daniel Cernea1,2 , Igor Truderung1 , Andreas Kerren2 , and Achim Ebert1 1 Computer Graphics and HCI Group, University of Kaiserslautern,

Source URL: homepage.lnu.se