POST 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (54)

A Perry AlexanderAlexander, Perry Orchestrating Layered Attestations
Peter AmidonAmidon, Peter Foundations for Parallel Information Flow Control Runtime Systems
Timos AntonopoulosAntonopoulos, Timos Yale University A Formal Analysis of Timing Channel Security via Bucketing
Owen ArdenArden, Owen UC Santa CruzUnited States Committee Member in Program Committee within the POST-track
Aslan AskarovAskarov, Aslan Aarhus UniversityDenmark A Dependently Typed Library for Static Information-Flow Control in Idris Committee Member in Program Committee within the POST-track
David AspinallAspinall, David On the formalisation of Σ-Protocols and Commitment Schemes
B Musard BalliuBalliu, Musard KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the POST-track
Massimo BartolettiBartoletti, Massimo Verifying liquidity of Bitcoin contracts
Chiara BodeiBodei, Chiara University of PisaItaly Committee Member in Program Committee within the POST-track
David ButlerButler, David On the formalisation of Σ-Protocols and Commitment Schemes
C Matthew ChanChan, Matthew Foundations for Parallel Information Flow Control Runtime Systems
Veronique CortierCortier, Veronique CNRS, LORIAFrance Committee Member in Program Committee within the POST-track
D John D. RamsdellD. Ramsdell, John Orchestrating Layered Attestations
Paul D. RoweD. Rowe, Paul Orchestrating Layered Attestations
Alexandre DebantDebant, Alexandre Symbolic verification of distance bounding protocols
Pierpaolo DeganoDegano, Pierpaolo Universita di PisaItaly Committee Member in Program Committee within the POST-track
Stephanie DelauneDelaune, Stephanie Symbolic verification of distance bounding protocols
Mark DrasDras, Mark Generalised Differential Privacy for Text Document Processing
E Søren Eller ThomsenEller Thomsen, Søren Aarhus UniversityDenmark A Dependently Typed Library for Static Information-Flow Control in Idris
F Natasha FernandesFernandes, Natasha Generalised Differential Privacy for Text Document Processing
G Adria GasconGascon, Adria On the formalisation of Σ-Protocols and Commitment Schemes
Dieter GollmannGollmann, Dieter Hamburg University of TechnologyGermany Committee Member in Program Committee within the POST-track
Simon Oddershede GregersenGregersen, Simon Oddershede Aarhus UniversityDenmark A Dependently Typed Library for Static Information-Flow Control in Idris
Joshua GuttmanGuttman, Joshua Worcester Polytechnic InstituteUnited States Committee Member in Program Committee within the POST-track
H Sarah HelbleHelble, Sarah Orchestrating Layered Attestations
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Wys*: A DSL for Verified Secure Multi-party Computations Achieving Safety Incrementally with Checked C
Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States Committee Member in Program Committee within the POST-track
Michael HuthHuth, Michael Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POST-track
L Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece Achieving Safety Incrementally with Checked C
Peter LoscoccoLoscocco, Peter Orchestrating Layered Attestations
M Heiko MantelMantel, Heiko TU DarmstadtGermany Committee Member in Program Committee within the POST-track
Fabio MartinelliMartinelli, Fabio Istituto di Informatica e TelematicaItaly Committee Member in Program Committee within the POST-track
Annabelle McIverMcIver, Annabelle Macquarie UniversityAustralia Generalised Differential Privacy for Text Document Processing
N Flemming NielsonNielson, Flemming Technical University of DenmarkDenmark Co-chair in Program Committee within the POST-track
P J. Aaron PendergrassPendergrass, J. Aaron Orchestrating Layered Attestations
Adam PetzPetz, Adam Orchestrating Layered Attestations
Christian ProbstProbst, Christian Unitec Institute of TechnologyNew Zealand Committee Member in Program Committee within the POST-track
R Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Wys*: A DSL for Verified Secure Multi-party Computations
John RennerRenner, John University of California, San Diego Foundations for Parallel Information Flow Control Runtime Systems
Andrew RuefRuef, Andrew Achieving Safety Incrementally with Checked C
Peter RyanRyan, Peter University of LuxembourgLuxembourg Committee Member in Program Committee within the POST-track
S Andrei SabelfeldSabelfeld, Andrei Chalmers University of TechnologySweden Committee Member in Program Committee within the POST-track
Dave SandsSands, Dave ChalmersSweden Co-chair in Program Committee within the POST-track
Carsten SchürmannSchürmann, Carsten IT University of CopenhagenDenmark Committee Member in Program Committee within the POST-track
Gary SoellerSoeller, Gary Foundations for Parallel Information Flow Control Runtime Systems
Deian StefanStefan, Deian University of California San Diego Foundations for Parallel Information Flow Control Runtime Systems
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Wys*: A DSL for Verified Secure Multi-party Computations
Ian SweetSweet, Ian Achieving Safety Incrementally with Checked C
T David TarditiTarditi, David Achieving Safety Incrementally with Checked C
Tachio TerauchiTerauchi, Tachio Waseda University A Formal Analysis of Timing Channel Security via Bucketing
Alwen TiuTiu, Alwen Australian National UniversityAustralia Committee Member in Program Committee within the POST-track
V Marco VassenaVassena, Marco Chalmers University of TechnologySweden Foundations for Parallel Information Flow Control Runtime Systems
Y Mingsheng YingYing, Mingsheng University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.Australia Committee Member in Program Committee within the POST-track
Z Roberto ZuninoZunino, Roberto Verifying liquidity of Bitcoin contracts