×

Found 37 Documents (Results 1–37)

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

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

EviCheck: digital evidence for Android. (English) Zbl 1471.68153

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 221-227 (2015).
MSC:  68Q60 68N25
PDFBibTeX XMLCite
Full Text: DOI Link

Polar: a framework for proof refactoring. (English) Zbl 1407.68434

McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 776-791 (2013).
MSC:  68T15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

A semantic basis for proof queries and transformations. (English) Zbl 1406.68102

McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45220-8/pbk). Lecture Notes in Computer Science 8312, 53-70 (2013).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Capturing hiproofs in HOL light. (English) Zbl 1390.68583

Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 184-199 (2013).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. (English) Zbl 1268.68008

Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). xv, 384 p. (2013).
MSC:  68-06 68Txx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. (English) Zbl 1284.68005

Electronic Notes in Theoretical Computer Science 285. Amsterdam: Elsevier. 120 p., electronic only (2012).
MSC:  68-06 68T15 68U35 00B25
PDFBibTeX XMLCite
Full Text: Link

An essence of SSReflect. (English) Zbl 1360.68770

Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 186-201 (2012).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Querying proofs. (English) Zbl 1352.68212

Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 92-106 (2012).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Towards formal proof script refactoring. (English) Zbl 1335.68240

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 260-275 (2011).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Towards a type system for security APIs. (English) Zbl 1252.68110

Degano, Pierpaolo (ed.) et al., Foundations and applications of security analysis. Joint workshop on automated reasoning for security protocol analysis and issues in the theory of security, ARSPA-WITS 2009, York, UK, March 28–29, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03458-9/pbk). Lecture Notes in Computer Science 5511, 173-192 (2009).
MSC:  68P25 68N30
PDFBibTeX XMLCite
Full Text: DOI

Safety guarantees from explicit resource management. (English) Zbl 1209.68119

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24–26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 52-71 (2008).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

A tactic language for hiproofs. (English) Zbl 1166.68336

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 339-354 (2008).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Datatypes in memory. (English) Zbl 1214.68228

Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 111-125 (2007).
MSC:  68Q65 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Formalising Java’s data race free guarantee. (English) Zbl 1144.68304

Schneider, Klaus (ed.) et al., Theorem proving in higher order logics. 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74590-7/pbk). Lecture Notes in Computer Science 4732, 22-37 (2007).
MSC:  68N15 68N19 68T15
PDFBibTeX XMLCite
Full Text: DOI

A framework for interactive proof. (English) Zbl 1202.68371

Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 161-175 (2007).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI

Assisted proof document authoring. (English) Zbl 1151.68658

Kohlhase, Michael (ed.), Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31430-X/pbk). Lecture Notes in Computer Science 3863. Lecture Notes in Artificial Intelligence, 65-80 (2006).
MSC:  68T30 68T15
PDFBibTeX XMLCite
Full Text: DOI

A program logic for resource verification. (English) Zbl 1099.68584

Slind, Konrad (ed.) et al., Theorem proving in higher order logics. 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23017-3/pbk). Lecture Notes in Computer Science 3223, 34-49 (2004).
MSC:  68N30 03B70 68N18 68T15
PDFBibTeX XMLCite
Full Text: DOI

Type checking parametrised programs and specifications in \(\text{ASL}+_{\text{FPC}}\). (English) Zbl 1278.68201

Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 129-144 (2003).
MSC:  68Q65 68N30
PDFBibTeX XMLCite
Full Text: DOI

Another type system for in-place update. (English) Zbl 1077.68565

Le Métayer, Daniel (ed.), Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43363-5). Lect. Notes Comput. Sci. 2305, 36-52 (2002).
MSC:  68N18 68Q55
PDFBibTeX XMLCite
Full Text: Link

Subtyping with power types. (English) Zbl 0973.03018

Clote, Peter G. (ed.) et al., Computer science logic. 14th international workshop, CSL 2000. Annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1862, 156-171 (2000).
MSC:  03B40 68N18
PDFBibTeX XMLCite

Proof General: A generic tool for proof development. (English) Zbl 0971.68627

Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 38-42 (2000).
MSC:  68U99 68T15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software