Decoy Routing: Toward Unblockable Internet Communication Josh Karlin Daniel Ellard

Source URL: www.usenix.org

• Computing
• Computer networking
• Information and communications technology
• Data transmission
• Internet architecture
• Internet protocols
• Internet privacy
• Network performance
• Proxy server
• Router
• SOCKS
• Internet protocol suite

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions⋆ Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Computational complexity theory
• Mathematical logic
• Constraint programming
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Maximum satisfiability problem
• Local consistency

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

42% Kein Marktbedarf Bild: Daniel Schmuki Wie viele Startups in den ersten 5 Jahren scheitern, ist allgemein bekannt. Schade eigentlich. Aber was sind die Ursachen dafür?

Source URL: www.vrmandat.com

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

ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti

Source URL: zkproof.org

• Cryptography
• Computing
• Public-key cryptography
• Non-interactive zero-knowledge proof
• Cryptographic protocol
• Computational complexity theory
• E-commerce
• Secure communication
• Zero-knowledge proof
• ZK
• Cryptographic primitive
• Gadget

Raising the Bar: Evaluating Origin-wide Security Manifests Steven Van Acker Daniel Hausknecht Andrei Sabelfeld

Source URL: danielhausknecht.eu

• Computer security
• Computing
• World Wide Web
• Hacking
• Transport Layer Security
• Ajax
• Hypertext Transfer Protocol
• Cross-origin resource sharing
• Content Security Policy
• HTTP cookie
• Same-origin policy
• HTTP Strict Transport Security

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Yupeng Zhang∗ , Daniel Genkin†,∗ , Jonathan Katz∗ , Dimitrios Papadopoulos‡,∗ and Charalampos Papamanthou∗ ∗ University † Univers

Source URL: web.eecs.umich.edu

Decoupled State Space Search – Dissertation Abstract Daniel Gnad Saarland University Saarbr¨ucken, Germany

Source URL: icaps16.icaps-conference.org

• A* search algorithm
• Combinatorial optimization
• Game artificial intelligence
• Mathematics
• Information science
• Information retrieval
• C*-algebras

ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA

Source URL: precision.moscito.org

• Video cards
• Computer architecture
• Computing
• Graphics hardware
• CUDA
• GeForce
• Graphics processing unit
• Nvidia
• GeForce 500 series
• GeForce 400 series