Proceedings on Privacy Enhancing Technologies 2015; ):4–24 Nikita Borisov*, George Danezis*, and Ian Goldberg* DP5: A Private Presence Service Abstract: Users of social applications like to be notified

Source URL: www.degruyter.com

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cross-platform software
• Internet protocols
• Cryptographic protocols
• Private information retrieval
• XMPP
• Forward secrecy
• HTTPS
• Email
• WHOIS

Demo Abstract: Using Wireless Sensor Networks to Develop Pervasive Multi-player Games Orestis Akrivopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas and Ioannis Chatzigiannakis

Source URL: nikos.vasilak.is

• Wireless networking
• Wireless sensor network
• Ubiquitous computing
• Gameplay
• Wireless
• Internet of things
• Ambient intelligence
• Terminology
• Technology
• Computing
• Sensor grid
• Wireless ad hoc network

QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Pl¨ ucker embedding, of the Grassmannian of lines in an 4-dimensional projective space with a quadric

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Geometry
• Projective geometry
• Algebraic surfaces
• Polynomials
• Quadratic forms
• Algebraic geometry
• Quadric
• Projective variety
• Discriminant
• Sextic equation

SUR UNE CARACTÉRISATION DES D-MODULES HOLONOMES RÉGULIERS par Jean-Baptiste Teyssier Abstract. — Let X be a smooth complex manifold. Let S denote the solution

Source URL: jbteyssier.com

Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic

Source URL: pub.ist.ac.at

• Mathematical logic
• Predicate logic
• Mathematics
• Logic
• Predicate variable
• Scope
• Atomic sentence
• FO
• First-order logic
• Variable
• Structured text
• Assignment

Designing a Secret Handshake: Authenticated Key Exchange as a Capability System Dominic Tarr July 10, 2015 Abstract Capability Based Security is a conceptual framework for designing

Source URL: dominictarr.github.io

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Key management
• Public key infrastructure
• Man-in-the-middle attack
• Secure Shell
• Forward secrecy
• Elliptic-curve DiffieHellman
• Replay attack
• Cryptographic protocol
• Handshaking

Abstract List 2018_13092018.xlsx

Source URL: www.dbmr.unibe.ch

Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematical optimization
• Operations research
• Stochastic game
• Nash equilibrium
• Markov chain
• Determinacy
• Stochastic process
• Mathematics
• Analysis
• Multi-objective optimization

Instructions for Submission to ASPLOS 2019 ASPLOS Submission #XXX– Confidential Draft – Do Not Distribute! Abstract This document is intended to serve as a sample for submissions to the 23rd International Conference

Source URL: asplos-conference.org

• Science
• Knowledge
• Academic publishing
• Research
• Digital media
• Publishing
• Scholarly peer review
• Scientific method
• Electronic submission
• ArXiv
• Computer architecture
• International Conference on Architectural Support for Programming Languages and Operating Systems

Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour

Source URL: jorgenavas.github.io

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Lattice
• Partially ordered set
• KnasterTarski theorem
• Complete lattice
• Binary relation
• Join and meet
• Monotonic function