Giving State to the Stateless: Augmenting Trustworthy Computation with Ledgers Gabriel Kaptchuk Johns Hopkins University

Source URL: eprint.iacr.org

• Cryptocurrencies
• Cryptography
• Computing
• Blockchains
• Economy
• Decentralization
• Alternative currencies
• Cryptographic protocols
• Secure multi-party computation
• Bitcoin
• Digital signature
• Ledger

VISA APPLICATION PROCESS FOR DELEGATES FROM AFGHANISTAN, PAKISTAN, IRAQ, SUDAN, FOREIGNERS OF PAKISTANI ORIGIN AND STATELESS PERSONS AS MANDATED BY MINISTRY OF EXTERNAL AFFAIRS AND MINISTRY OF HOME AFFAIRS – GOVERNMENT

Source URL: iufost2018.com

Hybrid Information Flow Monitoring Against Web Tracking Frédéric Besson, Nataliia Bielova, and Thomas Jensen Inria Rennes, France Abstract—Motivated by the problem of stateless

Source URL: people.rennes.inria.fr

State considered harmful A proposal for a stateless laptop Joanna Rutkowska December 2015

Source URL: blog.invisiblethings.org

Stateless Model Checking Concurrent Programs with Maximal Causality Reduction Jeff Huang Texas A&M University, USA

Source URL: parasol.tamu.edu

How to Construct a Leakage-Resilient (Stateless) Trusted Party Daniel Genkin Yuval Ishai Mor Weiss

Source URL: eprint.iacr.org

• Circuit complexity
• Theoretical computer science
• Complexity classes
• Electrical engineering
• Cryptographic protocols
• Secure multi-party computation
• Computational complexity theory
• Digital circuits
• Computer science
• NC
• CC
• Boolean circuit

A Stateless Approach to Connection-Oriented Protocols ¨ SIRER ALAN SHIEH, ANDREW C. MYERS, and EMIN GUN Cornell University

Source URL: www.cs.cornell.edu

“THIS IS our HOME” Stateless minorities and their search for citizenship Imagine being told you don’t belong because of the language you speak, the faith you follow, the customs you practice or the colour of your

Source URL: www.unhcr.org

Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden

Source URL: refal.botik.ru

Stateless Model Checking with Data-Race Preemption Points Ben Blum Garth Gibson Carnegie Mellon University, USA

Source URL: www.contrib.andrew.cmu.edu