


Остановите войну!
for scientists:


default search action
David A. Basin
Person information

- affiliation: ETH Zurich, Switzerland
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j89]Srdan Krstic, Hoang Nguyen, David A. Basin:
Model-driven Privacy. Proc. Priv. Enhancing Technol. 2024(1): 314-329 (2024) - [j88]François Hublet, David A. Basin, Srdan Krstic:
User-Controlled Privacy: Taint, Track, and Control. Proc. Priv. Enhancing Technol. 2024(1): 597-616 (2024) - 2023
- [j87]Tobias Klenze, Christoph Sprenger, David A. Basin:
IsaNet: A framework for verifying secure data plane protocols. J. Comput. Secur. 31(3): 217-259 (2023) - [j86]Florian Turati, Karel Kubicek
, Carlos Cotrini, David A. Basin:
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. Proc. Priv. Enhancing Technol. 2023(4): 117-131 (2023) - [j85]Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan:
Efficient Black-box Checking of Snapshot Isolation in Databases. Proc. VLDB Endow. 16(6): 1264-1276 (2023) - [c212]David A. Basin
:
Formal Methods for Payment Protocols. AsiaCCS 2023: 326 - [c211]David A. Basin
, Srdan Krstic
, Joshua Schneider
, Dmitriy Traytel
:
Correct and Efficient Policy Monitoring, a Retrospective. ATVA (1) 2023: 3-30 - [c210]David A. Basin, Juan Guarnizo, Srdan Krstic, Hoang Nguyen Phuoc Bao, Martín Ochoa:
Is Modeling Access Control Worth It? CCS 2023: 2830-2844 - [c209]David A. Basin
, Daniel Stefan Dietiker
, Srdan Krstic
, Yvonne-Anne Pignolet
, Martin Raszyk
, Joshua Schneider
, Arshavir Ter-Gabrielyan
:
Monitoring the Internet Computer. FM 2023: 383-402 - [c208]Huayi Duan, Rubén Fischer, Jie Lou, Si Liu, David A. Basin, Adrian Perrig:
RHINE: Robust and High-performance Internet Naming with E2E Authenticity. NSDI 2023: 531-553 - [c207]Si Liu
, Huayi Duan
, Lukas Heimes
, Marco Bearzi
, Jodok Vieli
, David A. Basin
, Adrian Perrig
:
A Formal Framework for End-to-End DNS Resolution. SIGCOMM 2023: 932-949 - [c206]Linard Arquint, Felix A. Wolf
, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP 2023: 1077-1093 - [c205]Virgil D. Gligor, Adrian Perrig, David A. Basin:
Determining an Economic Value of High Assurance for Commodity Software Security. Security Protocols Workshop 2023: 228-242 - [c204]David A. Basin, Patrick Schaller, Jorge Toro-Pozo:
Inducing Authentication Failures to Bypass Credit Card PINs. USENIX Security Symposium 2023: 3065-3079 - [c203]Cyrill Krähenbühl, Marc Wyss, David A. Basin, Vincent Lenders, Adrian Perrig, Martin Strohmeier:
FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks. USENIX Security Symposium 2023: 5755-5772 - [i29]Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David A. Basin, Haixiang Li, Anqun Pan:
Efficient Black-box Checking of Snapshot Isolation in Databases. CoRR abs/2301.07313 (2023) - [i28]Florian Turati, Carlos Cotrini, Karel Kubicek, David A. Basin:
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. CoRR abs/2302.13635 (2023) - [i27]Cyrill Krähenbühl, Marc Wyss, David A. Basin, Vincent Lenders
, Adrian Perrig, Martin Strohmeier:
FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks. CoRR abs/2304.03108 (2023) - 2022
- [b4]Laurent Chuat, Markus Legner, David A. Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig:
The Complete Guide to SCION - From Design Principles to Formal Verification. Information Security and Cryptography, Springer 2022, ISBN 978-3-031-05287-3 - [j84]David A. Basin
, Cas Cremers
, Jannik Dreier, Ralf Sasse:
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. IEEE Secur. Priv. 20(3): 24-32 (2022) - [j83]Si Liu
, José Meseguer, Peter Csaba Ölveczky
, Min Zhang
, David A. Basin
:
Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. 6(OOPSLA2): 315-344 (2022) - [j82]Karel Kubicek
, Jakob Merane, Carlos Cotrini, Alexander Stremitzer, Stefan Bechtold, David A. Basin:
Checking Websites' GDPR Consent Compliance for Marketing Emails. Proc. Priv. Enhancing Technol. 2022(2): 282-303 (2022) - [c202]Sven Hammann, Michael Crabb, Sasa Radomirovic
, Ralf Sasse, David A. Basin
:
"I'm Surprised So Much Is Connected". CHI 2022: 620:1-620:13 - [c201]Farzane Karami, David A. Basin
, Einar Broch Johnsen:
DPL: A Language for GDPR Enforcement. CSF 2022: 112-129 - [c200]Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, David A. Basin
:
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. CSF 2022: 147-162 - [c199]Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David A. Basin
:
IFCIL: An Information Flow Configuration Language for SELinux. CSF 2022: 243-259 - [c198]François Hublet
, David A. Basin
, Srdan Krstic
:
Real-Time Policy Enforcement with Metric First-Order Temporal Logic. ESORICS (2) 2022: 211-232 - [c197]Martin Raszyk, David A. Basin
, Srdan Krstic, Dmitriy Traytel
:
Practical Relational Calculus Query Evaluation. ICDT 2022: 11:1-11:21 - [c196]David A. Basin
, Thibault Dardinier
, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive
, Nicolas Kaletsch, Srdan Krstic
, Emanuele Marsicano, Martin Raszyk
, Joshua Schneider
, Dawit Legesse Tirore
, Dmitriy Traytel
, Sheila Zingg:
VeriMon: A Formally Verified Monitoring Tool. ICTAC 2022: 1-6 - [c195]Dino Bollinger, Karel Kubicek, Carlos Cotrini, David A. Basin:
Automating Cookie Consent and GDPR Violation Detection. USENIX Security Symposium 2022: 2893-2910 - [i26]Lorenzo Ceragioli, Letterio Galletta
, Pierpaolo Degano, David A. Basin:
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version). CoRR abs/2205.15915 (2022) - [i25]Martín Ochoa, Jorge Toro-Pozo, David A. Basin:
SealClub: Computer-aided Paper Document Authentication. CoRR abs/2210.07884 (2022) - [i24]Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel:
Efficient Evaluation of Arbitrary Relational Calculus Queries. CoRR abs/2210.09964 (2022) - [i23]Linard Arquint
, Felix A. Wolf
, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR abs/2212.04171 (2022) - 2021
- [j81]Joshua Schneider
, David A. Basin
, Frederik Brix, Srdan Krstic
, Dmitriy Traytel
:
Scalable online first-order monitoring. Int. J. Softw. Tools Technol. Transf. 23(2): 185-208 (2021) - [c194]David A. Basin
, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic
:
Verifying Table-Based Elections. CCS 2021: 2632-2652 - [c193]David A. Basin, Andreas Lochbihler, Ueli Maurer, S. Reza Sefidgar:
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL. CSF 2021: 1-16 - [c192]Lucca Hirschi, Lara Schmid, David A. Basin:
Fixing the Achilles Heel of E-Voting: The Bulletin Board. CSF 2021: 1-17 - [c191]Tobias Klenze, Christoph Sprenger, David A. Basin:
Formal Verification of Secure Forwarding Protocols. CSF 2021: 1-16 - [c190]David A. Basin, Ralf Sasse, Jorge Toro-Pozo
:
The EMV Standard: Break, Fix, Verify. SP 2021: 1766-1781 - [c189]David A. Basin, Ralf Sasse, Jorge Toro-Pozo
:
Card Brand Mixup Attack: Bypassing the PIN in non-Visa Cards by Using Them for Visa Transactions. USENIX Security Symposium 2021: 179-194 - [c188]Aleksi Peltonen
, Ralf Sasse, David A. Basin
:
A comprehensive formal analysis of 5G handover. WISEC 2021: 1-12 - 2020
- [j80]Giacomo Giuliari, Tobias Klenze
, Markus Legner
, David A. Basin, Adrian Perrig
, Ankit Singla:
Internet backbones in space. Comput. Commun. Rev. 50(1): 25-37 (2020) - [j79]Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira:
Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. 43(2): 36-66 (2020) - [j78]Gabriele Costa
, Letterio Galletta
, Pierpaolo Degano, David A. Basin, Chiara Bodei:
Natural Projection as Partial Model Checking. J. Autom. Reason. 64(7): 1445-1481 (2020) - [j77]David A. Basin, Andreas Lochbihler, S. Reza Sefidgar:
CryptHOL: Game-Based Proofs in Higher-Order Logic. J. Cryptol. 33(2): 494-566 (2020) - [j76]Christoph Sprenger, Tobias Klenze
, Marco Eilers
, Felix A. Wolf
, Peter Müller, Martin Clochard, David A. Basin:
Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4(OOPSLA): 152:1-152:31 (2020) - [j75]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification over Out-of-order Streams. ACM Trans. Comput. Log. 21(1): 5:1-5:43 (2020) - [c187]Martin Raszyk
, David A. Basin
, Dmitriy Traytel
:
Multi-head Monitoring of Metric Dynamic Logic. ATVA 2020: 233-250 - [c186]David A. Basin, Thibault Dardinier
, Lukas Heimes, Srdan Krstic
, Martin Raszyk
, Joshua Schneider
, Dmitriy Traytel
:
A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. IJCAR (1) 2020: 432-453 - [c185]Sven Hammann, Ralf Sasse, David A. Basin:
Privacy-Preserving OpenID Connect. AsiaCCS 2020: 277-289 - [c184]David A. Basin, Sasa Radomirovic
, Lara Schmid:
Dispute Resolution in Voting. CSF 2020: 1-16 - [c183]Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig
:
SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust. EuroS&P 2020: 624-638 - [c182]David A. Basin
, Matthieu Gras, Srdan Krstic
, Joshua Schneider
:
Scalable Online Monitoring of Distributed Systems. RV 2020: 197-220 - [c181]Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin:
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium 2020: 1857-1874 - [i22]David A. Basin, Sasa Radomirovic, Lara Schmid:
Dispute Resolution in Voting. CoRR abs/2005.03749 (2020) - [i21]Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira:
Decentralized Privacy-Preserving Proximity Tracing. CoRR abs/2005.12273 (2020) - [i20]David A. Basin, Ralf Sasse, Jorge Toro-Pozo
:
The EMV Standard: Break, Fix, Verify. CoRR abs/2006.08249 (2020) - [i19]Mohammad Torabi Dashti, David A. Basin:
A Theory of Black-Box Tests. CoRR abs/2006.10387 (2020) - [i18]Christoph Sprenger, Tobias Klenze, Marco Eilers
, Felix A. Wolf
, Peter Müller, Martin Clochard, David A. Basin:
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR abs/2010.04749 (2020) - [i17]Lucca Hirschi, Lara Schmid, David A. Basin:
Fixing the Achilles Heel of E-Voting: The Bulletin Board. IACR Cryptol. ePrint Arch. 2020: 109 (2020)
2010 – 2019
- 2019
- [j74]David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic
, Dmitriy Traytel
:
Almost event-rate independent monitoring. Formal Methods Syst. Des. 54(3): 449-478 (2019) - [j73]Damien Desfontaines, Andreas Lochbihler, David A. Basin:
Cardinality Estimators do not Preserve Privacy. Proc. Priv. Enhancing Technol. 2019(2): 26-46 (2019) - [c180]Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic
, Dmitriy Traytel
:
Adaptive Online First-Order Monitoring. ATVA 2019: 133-150 - [c179]Martin Raszyk
, David A. Basin, Srdan Krstic
, Dmitriy Traytel
:
Multi-head Monitoring of Metric Temporal Logic. ATVA 2019: 151-170 - [c178]David A. Basin, Lucca Hirschi, Ralf Sasse:
Symbolic Analysis of Identity-Based Protocols. Foundations of Security, Protocols, and Equational Reasoning 2019: 112-134 - [c177]Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin:
The Next 700 Policy Miners: A Universal Method for Building Policy Miners. CCS 2019: 95-112 - [c176]Sven Hammann, Sasa Radomirovic
, Ralf Sasse, David A. Basin:
User Account Access Graphs. CCS 2019: 1405-1422 - [c175]Andreas Lochbihler, S. Reza Sefidgar, David A. Basin, Ueli Maurer:
Formalizing Constructive Cryptography using CryptHOL. CSF 2019: 152-166 - [c174]Emma Arfelt, David A. Basin, Søren Debois:
Monitoring the GDPR. ESORICS (1) 2019: 681-699 - [c173]Marco Guarnieri
, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld:
Information-Flow Control for Database-Backed Applications. EuroS&P 2019: 79-94 - [c172]Martin Raszyk
, David A. Basin, Dmitriy Traytel
:
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers. ICALP 2019: 127:1-127:14 - [c171]Joshua Schneider, David A. Basin, Srdan Krstic
, Dmitriy Traytel
:
A Formally Verified Monitor for Metric First-Order Temporal Logic. RV 2019: 310-328 - [i16]Laurent Chuat, AbdelRahman Abdou, Ralf Sasse, Christoph Sprenger, David A. Basin, Adrian Perrig:
Proxy Certificates: The Missing Link in the Web's Chain of Trust. CoRR abs/1906.10775 (2019) - [i15]Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin:
The Next 700 Policy Miners: A Universal Method for Building Policy Miners. CoRR abs/1908.05994 (2019) - [i14]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification over Out-of-order Streams. CoRR abs/1909.11593 (2019) - 2018
- [j72]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Algorithms for monitoring real-time properties. Acta Informatica 55(4): 309-338 (2018) - [j71]Christoph Sprenger, David A. Basin:
Refining security protocols. J. Comput. Secur. 26(1): 71-120 (2018) - [j70]David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse
, Pawel Szalachowski:
Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure. IEEE Trans. Dependable Secur. Comput. 15(3): 393-408 (2018) - [c170]David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
:
Optimal Proofs for Linear Temporal Logic on Lasso Words. ATVA 2018: 37-55 - [c169]David A. Basin
, Jannik Dreier, Lucca Hirschi
, Sasa Radomirovic
, Ralf Sasse
, Vincent Stettler:
A Formal Analysis of 5G Authentication. CCS 2018: 1383-1396 - [c168]David A. Basin, Sasa Radomirovic
, Lara Schmid:
Alethea: A Provably Secure Random Sample Voting Protocol. CSF 2018: 283-297 - [c167]Carlos Cotrini, Thilo Weghorn, David A. Basin:
Mining ABAC Rules from Sparse Logs. EuroS&P 2018: 31-46 - [c166]David A. Basin, Søren Debois, Thomas T. Hildebrandt:
On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography 2018: 20-37 - [c165]Tobias Klenze
, Giacomo Giuliari, Christos Pappas, Adrian Perrig, David A. Basin:
Networking in Heaven as on Earth. HotNets 2018: 22-28 - [c164]Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic
, Dmitriy Traytel
:
Scalable Online First-Order Monitoring. RV 2018: 353-371 - [c163]Gabriele Costa
, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
:
From Natural Projection to Partial Model Checking and Back. TACAS (1) 2018: 344-361 - [p5]David A. Basin, Cas Cremers, Catherine Meadows:
Model Checking Security Protocols. Handbook of Model Checking 2018: 727-762 - [i13]David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler:
Formal Analysis of 5G Authentication. CoRR abs/1806.10360 (2018) - [i12]Damien Desfontaines, Andreas Lochbihler, David A. Basin:
Cardinality Estimators do not Preserve Privacy. CoRR abs/1808.05879 (2018) - 2017
- [j69]David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
:
Symbolically analyzing security protocols using tamarin. ACM SIGLOG News 4(4): 19-30 (2017) - [c162]Mohammad Torabi Dashti, David A. Basin:
Tests and Refutation. ATVA 2017: 119-138 - [c161]Ognjen Maric, Christoph Sprenger, David A. Basin:
Cutoff Bounds for Consensus Algorithms. CAV (2) 2017: 217-237 - [c160]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification of Temporal Properties over Out-of-Order Data Streams. CAV (1) 2017: 356-376 - [c159]Marco Guarnieri
, Srdjan Marinovic, David A. Basin:
Securing Databases from Probabilistic Inference. CSF 2017: 343-359 - [c158]Joseph Lallemand, David A. Basin, Christoph Sprenger:
Refining Authenticated Key Agreement with Strong Adversaries. EuroS&P 2017: 92-107 - [c157]Marco Guarnieri
, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin:
Test execution checkpointing for web applications. ISSTA 2017: 203-214 - [c156]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
The MonPoly Monitoring Tool. RV-CuBES 2017: 19-28 - [c155]David A. Basin, Srdjan Krstic, Dmitriy Traytel
:
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. RV-CuBES 2017: 29-36 - [c154]David A. Basin, Srdan Krstic
, Dmitriy Traytel
:
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. RV 2017: 85-102 - [c153]David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
:
Almost Event-Rate Independent Monitoring of Metric Temporal Logic. TACAS (2) 2017: 94-112 - [c152]David A. Basin, Hans Gersbach, Akaki Mamageishvili, Lara Schmid, Oriol Tejada
:
Election Security and Economics: It's All About Eve. E-VOTE-ID 2017: 1-20 - [i11]Marco Guarnieri, Srdjan Marinovic, David A. Basin:
Securing Databases from Probabilistic Inference. CoRR abs/1706.02473 (2017) - [i10]David A. Basin, Felix Klaedtke, Eugen Zalinescu:
Runtime Verification of Temporal Properties over Out-of-order Data Streams. CoRR abs/1707.05555 (2017) - [i9]David A. Basin, Andreas Lochbihler, S. Reza Sefidgar:
CryptHOL: Game-based Proofs in Higher-order Logic. IACR Cryptol. ePrint Arch. 2017: 753 (2017) - 2016
- [j68]David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel:
Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. 49(1-2): 75-108 (2016) - [j67]Andreas Fürst, Thai Son Hoang
, David A. Basin, Naoto Sato, Kunihiko Miyazaki:
Large-scale system development using Abstract Data Types and refinement. Sci. Comput. Program. 131: 59-75 (2016) - [c151]David A. Basin, Søren Debois
, Thomas T. Hildebrandt:
In the Nick of Time: Proactive Prevention of Obligation Violations. CSF 2016: 120-134 - [c150]David A. Basin, Sasa Radomirovic
, Lara Schmid:
Modeling Human Errors in Security Protocols. CSF 2016: 325-340 - [c149]Petar Tsankov, Mohammad Torabi Dashti, David A. Basin:
Access Control Synthesis for Physical Spaces. CSF 2016: 443-457 - [c148]Mohammad Torabi Dashti, David A. Basin:
Security Testing Beyond Functional Tests. ESSoS 2016: 1-19 - [c147]Marco Guarnieri
, Srdjan Marinovic, David A. Basin:
Strong and Provably Secure Database Access Control. EuroS&P 2016: 163-178 - [i8]Petar Tsankov, Mohammad Torabi Dashti, David A. Basin:
Access Control Synthesis for Physical Spaces. CoRR abs/1605.01769 (2016) - [i7]Der-Yeuan Yu, Elizabeth Stobert, David A. Basin, Srdjan Capkun:
Exploring Website Location as a Security Indicator. CoRR abs/1610.03647 (2016) - 2015
- [j66]