BibTeX records: Emanuele D'Osualdo

download as .bib file

@inproceedings{DBLP:conf/concur/DOsualdoS20,
  author    = {Emanuele D'Osualdo and
               Felix Stutz},
  title     = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
               with Unbounded Sessions},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {171},
  pages     = {31:1--31:23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020}
}
@article{DBLP:journals/corr/abs-1901-05750,
  author    = {Emanuele D'Osualdo and
               Azadeh Farzan and
               Philippa Gardner and
               Julian Sutherland},
  title     = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
               Concurrent Programs},
  journal   = {CoRR},
  volume    = {abs/1901.05750},
  year      = {2019}
}
@article{DBLP:journals/corr/abs-1911-05430,
  author    = {Emanuele D'Osualdo and
               Felix Stutz},
  title     = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
               with Unbounded Sessions},
  journal   = {CoRR},
  volume    = {abs/1911.05430},
  year      = {2019}
}
@inproceedings{DBLP:conf/csfw/DOsualdoOT17,
  author    = {Emanuele D'Osualdo and
               Luke Ong and
               Alwen Tiu},
  title     = {Deciding Secrecy of Security Protocols for an Unbounded Number of
               Sessions: The Case of Depth-Bounded Processes},
  booktitle = {{CSF}},
  pages     = {464--480},
  publisher = {{IEEE} Computer Society},
  year      = {2017}
}
@inproceedings{DBLP:conf/esop/DOsualdoO16,
  author    = {Emanuele D'Osualdo and
               C.{-}H. Luke Ong},
  title     = {On Hierarchical Communication Topologies in the {\textbackslash}pi
               -calculus},
  booktitle = {{ESOP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9632},
  pages     = {149--175},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{DBLP:conf/lics/DOsualdoMZ16,
  author    = {Emanuele D'Osualdo and
               Roland Meyer and
               Georg Zetzsche},
  title     = {First-order logic with reachability for infinite-state systems},
  booktitle = {{LICS}},
  pages     = {457--466},
  publisher = {{ACM}},
  year      = {2016}
}
@article{DBLP:journals/corr/DOsualdoO16,
  author    = {Emanuele D'Osualdo and
               C.{-}H. Luke Ong},
  title     = {On Hierarchical Communication Topologies in the pi-calculus},
  journal   = {CoRR},
  volume    = {abs/1601.01725},
  year      = {2016}
}
@phdthesis{DBLP:phd/ethos/DOsualdo15,
  author    = {Emanuele D'Osualdo},
  title     = {Verification of message passing concurrent systems},
  school    = {University of Oxford, {UK}},
  year      = {2015}
}
@article{DBLP:journals/corr/DOsualdoO15,
  author    = {Emanuele D'Osualdo and
               Luke Ong},
  title     = {A Type System for proving Depth Boundedness in the pi-calculus},
  journal   = {CoRR},
  volume    = {abs/1502.00944},
  year      = {2015}
}
@inproceedings{DBLP:conf/sas/DOsualdoKO13,
  author    = {Emanuele D'Osualdo and
               Jonathan Kochems and
               C.{-}H. Luke Ong},
  title     = {Automatic Verification of Erlang-Style Concurrency},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7935},
  pages     = {454--476},
  publisher = {Springer},
  year      = {2013}
}
@article{DBLP:journals/corr/abs-1303-2201,
  author    = {Emanuele D'Osualdo and
               Jonathan Kochems and
               C.{-}H. Luke Ong},
  title     = {Automatic Verification of Erlang-Style Concurrency},
  journal   = {CoRR},
  volume    = {abs/1303.2201},
  year      = {2013}
}
@inproceedings{DBLP:conf/agere/DOsualdoKO12,
  author    = {Emanuele D'Osualdo and
               Jonathan Kochems and
               Luke Ong},
  title     = {Soter: an automatic safety verifier for erlang},
  booktitle = {AGERE!@SPLASH},
  pages     = {137--140},
  publisher = {{ACM}},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics