default search action

combined dblp search
author search
venue search
publication search

ask others

7th POST@ETAPS 2018: Thessaloniki, Greece

> Home > Conferences and Workshops > POST
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/2018
Lujo Bauer, Ralf Küsters:
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10804, Springer 2018, ISBN 978-3-319-89721-9

Information Flow and Non-intereference

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/SweetTS0M18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/SweetTS0M18
Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks, Stephen Magill:
What's the Over/Under? Probabilistic Bounds on Information Leakage. 3-27
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/VasilikosNN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/VasilikosNN18
Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson:
Secure Information Release in Timed Automata. 28-52
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/KarbyshevSAB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/KarbyshevSAB18
Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal:
Compositional Non-interference for Concurrent Programs via Separation and Framing. 53-78
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/AmorimHP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/AmorimHP18
Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce:
The Meaning of Memory Safety. 79-105

Leakage, Information Flow, and Protocols

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/NematiBGD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/NematiBGD18
Hamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam:
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels. 109-133
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/Alvim00P18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/Alvim00P18
Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi:
Leakage and Protocol Composition in a Game-Theoretic Perspective. 134-159
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/CortierGLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/CortierGLM18
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei:
Equivalence Properties by Typing in Cryptographic Branching Protocols. 160-187
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/SciarrettaCR018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/SciarrettaCR018
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò:
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience. 188-213

Smart Contracts and Privacy

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/AtzeiBCLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/AtzeiBCLZ18
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
SoK: Unraveling Bitcoin Smart Contracts. 217-242
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/GrishchenkoMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/GrishchenkoMS18
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind:
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. 243-269
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/MavridouL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/MavridouL18
Anastasia Mavridou, Aron Laszka:
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. 270-277
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/MunzEMFG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/MunzEMFG18
Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg:
UniTraX: Protecting Data Privacy with Discoverable Biases. 278-299

Firewalls and Attack-Defense Trees

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/BodeiDFGT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BodeiDFGT18
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta:
Transcompiling Firewalls. 303-324
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/KordyW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/KordyW18
Barbara Kordy, Wojciech Widel:
On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. 325-346

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.