On the Formalization of Decentralized Contact Tracing Protocols
暂无分享,去创建一个
[1] Serge Vaudenay,et al. Centralized or Decentralized? The Contact Tracing Dilemma , 2020, IACR Cryptol. ePrint Arch..
[2] Giorgio Delzanno,et al. Verification of Ad Hoc Networks with Node and Communication Failures , 2012, FMOODS/FORTE.
[3] Diego Calvanese,et al. Foundations of data-aware process analysis: a database theory perspective , 2013, PODS.
[4] Giorgio Delzanno,et al. Parameterized Verification of Ad Hoc Networks , 2010, CONCUR.
[5] Parosh Aziz Abdulla,et al. Recency-Bounded Verification of Dynamic Database-Driven Systems , 2016, PODS.
[6] Giorgio Delzanno,et al. On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks , 2011, FoSSaCS.
[7] Giuseppe De Giacomo,et al. Bounded situation calculus action theories , 2015, Artif. Intell..
[8] Marco Montali,et al. Model checking Petri nets with names using data-centric dynamic systems , 2016, Formal Aspects of Computing.
[9] Giorgio Delzanno,et al. Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks , 2013, LATA.
[10] Rupak Majumdar,et al. Verification of population protocols , 2016, Acta Informatica.
[11] Vincenzo Iovino,et al. Towards Defeating Mass Surveillance and SARS-CoV-2: The Pronto-C2 Fully Decentralized Automatic Contact Tracing System , 2020, IACR Cryptol. ePrint Arch..
[12] Giorgio Delzanno,et al. Parameterized Verification of Broadcast Networks of Register Automata , 2013, RP.
[13] Giorgio Delzanno. Towards the Automated Verification of Publish/Subscribe Networks , 2019, OVERLAY@AI*IA.
[14] Parosh Aziz Abdulla,et al. On the Verification of Timed Ad Hoc Networks , 2011, FORMATS.