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

Pressemitteilung Zürich, Weinclub.com startet neue Video-Serie „Entkorkt – Der Wein-Tipp“ mit Winzer Stephan Herter §

Source URL: www.wg-digital.com

We know (nearly) nothing! But can we learn? ? Stephan Schulz

Source URL: www.cs.man.ac.uk

Conceptual Framework for Legal & Risk Assessment of Blockchain Crypto Property (BCP) Dr. Luka Müller, Stephan D. Meyer, Christine Gschwend, Peter Henschel Genesis Version

Source URL: www.mme.ch

• Cryptocurrencies
• Economy
• Money
• Finance
• Counterparty
• Blockchain
• Bitcoin
• Tether
• Smart contract
• Ethereum
• Tokenization

NBER WORKING PAPER SERIES OF MICE AND MERCHANTS: TRADE AND GROWTH IN THE IRON AGE Jan David Bakker Stephan Maurer

Source URL: econ.lse.ac.uk

• Western Asia
• Holocene
• Geography of North Africa
• Geography of Asia
• Ancient Near East
• 2nd millennium BC
• Bronze Age
• Mediterranean Sea
• Phoenicia
• Trade route
• Minoan civilization
• Aegean civilizations

Lightweight Asynchronous Snapshots for Distributed Dataflows Paris Carbone1 Gyula F´ora2 Stephan Ewen3

Source URL: kth.diva-portal.org

• Computing
• Concurrent computing
• Parallel computing
• Computer architecture
• Models of computation
• Computer engineering
• Programming paradigms
• Apache Flink
• Dataflow
• Stream processing
• Distributed computing
• Snapshot

A Path Layer for the Internet: Enabling Network Operations on Encrypted Protocols Mirja K¨uhlewind∗ , Tobias B¨uhler∗ , Brian Trammell∗ , Stephan Neuhaus† , Roman M¨untener† , and Gorry Fairhurst‡ ∗ ETH

Source URL: nsg.ee.ethz.ch

• Computing
• Network architecture
• Data transmission
• Internet Standards
• Internet protocols
• Computer networking
• Network performance
• Units of information
• Transmission Control Protocol
• QUIC
• Network address translation
• User Datagram Protocol

Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

We know (nearly) nothing! But can we learn? Stephan Schulz DHBW Stuttgart

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• School of Computer Science
• University of Manchester
• Software
• Automated theorem proving
• Logic in computer science
• Mathematical logic
• E theorem prover
• Prover9
• Vampire
• Andrei Voronkov
• Geoff Sutcliffe
• Rewriting

PDF Document

Source URL: stephan-haimerl.de