×

Found 22 Documents (Results 1–22)

EthVer: formal verification of randomized Ethereum smart contracts. (English) Zbl 1490.91255

Bernhard, Matthew (ed.) et al., Financial cryptography and data security. FC 2021 international workshops. Codecfin, DeFi, VOTING, and WTSC, virtual event, March 5, 2021. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 12676, 364-380 (2021).
MSC:  91G99 94A60
PDFBibTeX XMLCite
Full Text: DOI

On the formalisation of \(\varSigma \)-protocols and commitment schemes. (English) Zbl 1524.94062

Nielson, Flemming (ed.) et al., Principles of security and trust. 8th international conference, POST 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11426, 175-196 (2019).
MSC:  94A60 68V20
PDFBibTeX XMLCite
Full Text: DOI

Stateful protocol composition. (English) Zbl 1496.68065

Lopez, Javier (ed.) et al., Computer security. 23rd European symposium on research in computer security, ESORICS 2018, Barcelona, Spain, September 3–7, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11098, 427-446 (2018).
MSC:  68M25 94A60
PDFBibTeX XMLCite
Full Text: DOI Link

How to simulate it in Isabelle: towards formal proof for secure multi-party computation. (English) Zbl 1483.68486

Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 114-130 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probabilistic functions and cryptographic oracles in higher order logic. (English) Zbl 1335.68033

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 503-531 (2016).
MSC:  68N18 94A60
PDFBibTeX XMLCite
Full Text: DOI

Formalization of entropy measures in HOL. (English) Zbl 1342.68295

Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 233-248 (2011).
MSC:  68T15 94A17
PDFBibTeX XMLCite
Full Text: DOI

Logical formalisation and analysis of the Mifare Classic card in PVS. (English) Zbl 1342.68288

Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 3-17 (2011).
MSC:  68T15 94A60 94A62
PDFBibTeX XMLCite
Full Text: DOI Link

Let’s get physical: Models and methods for real-world security protocols. (English) Zbl 1252.68040

Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 1-22 (2009).
MSC:  68M12 68T15 94A60
PDFBibTeX XMLCite
Full Text: DOI

A formal language for cryptographic pseudocode. (English) Zbl 1182.94035

Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 353-376 (2008).
MSC:  94A60 68N18 68T15
PDFBibTeX XMLCite
Full Text: DOI

Implementing spi calculus using nominal techniques. (English) Zbl 1142.68445

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 294-305 (2008).
MSC:  68Q85 03B70 68T15 94A60
PDFBibTeX XMLCite
Full Text: DOI

Proving properties of incremental Merkle trees. (English) Zbl 1135.68558

Nieuwenhuis, Robert (ed.), Automated deduction – CADE-20. 20th international conference on automated deduction, Tallinn, Estonia, July 22–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28005-7/pbk). Lecture Notes in Computer Science 3632. Lecture Notes in Artificial Intelligence, 424-440 (2005).
MSC:  68T15 94A62
PDFBibTeX XMLCite
Full Text: DOI

The inductive approach to strand space. (English) Zbl 1169.68327

Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 547-552 (2005).
MSC:  68M12 68T15 94A62
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software