The topic of this article may not meet Wikipedia's notability guidelines for products and services. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Tamarin Prover" – news · newspapers · books · scholar · JSTOR(January 2018) (Learn how and when to remove this message)
Tamarin Prover
Original author(s)
David Basin, Cas Cremers, Jannik Dreier, Simon Meier, Ralf Sasse, Benedikt Schmidt
Developer(s)
Cas Cremers, Jannik Dreier, Ralf Sasse
Initial release
April 24, 2012 (2012-04-24)
Stable release
1.4.1
/ January 18, 2019 (2019-01-18)
Repository
github.com/tamarin-prover/tamarin-prover
Written in
Haskell
Operating system
Linux, macOS
Available in
English
Type
Automated reasoning
License
GNU GPL v3
Website
tamarin-prover.github.io
Tamarin Prover is a computer software program for formal verification of cryptographic protocols. It has been used to verify Transport Layer Security 1.3,[1] ISO/IEC 9798,[2] DNP3 Secure Authentication v5,[3] WireGuard,[4][5][6][7] and the PQ3 Messaging Protocol of Apple iMessage.[8]
^Cremers, Cas; Horvat, Marko; Scott, Sam; van der Merwe, Thyla (2016). "Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication". IEEE Symposium on Security and Privacy, 2016, San Jose, CA, USA, May 22-26, 2016. IEEE S&P 2016. pp. 470–485. doi:10.1109/SP.2016.35. ISBN 978-1-5090-0824-7.
^Basin, David; Cremers, Cas; Meier, Simon (2013). "Provably repairing the ISO/IEC 9798 standard for entity authentication" (PDF). Journal of Computer Security. 21 (6): 817–846. doi:10.3233/JCS-130472.
^Cremers, Cas; Dehnel-Wild, Martin; Milner, Kevin (2017). "Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5" (PDF). Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I. ESORICS 2017. Oslo, Norway: Springer. pp. 389–407. doi:10.1007/978-3-319-66402-6_23. ISBN 978-3-319-66401-9.
^Donenfeld, Jason A.; Milne, Kevin (2018), Formal Verification of the WireGuard Protocol(PDF), archived (PDF) from the original on 2023-05-28, retrieved 2023-11-23; Donenfeld, Jason A., Formal Verification, archived from the original on 2023-11-13, retrieved 2023-11-23
^Schmidt, Benedikt; Meier, Simon; Cremers, Cas; Basin, David (2012). "Automated analysis of Diffie-Hellman protocols and advanced security properties" (PDF). 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012. CSF 2012. Cambridge, MA: IEEE Computer Society. pp. 78–94.
^Schmidt, Benedikt (2012). Formal analysis of key exchange protocols and physical protocols (PhD thesis). doi:10.3929/ethz-a-009898924.
^Basin, David; Linker, Felix; Sasse, Ralf, A Formal Analysis of the iMessage PQ3 Messaging Protocol(PDF), archived (PDF) from the original on 2024-02-28, retrieved 2024-03-06
TamarinProver is a computer software program for formal verification of cryptographic protocols. It has been used to verify Transport Layer Security 1...
protocolS (KISS) Maude-NRL Protocol Analyzer (Maude-NPA) ProVerif Scyther TamarinProver To formally verify a protocol it is often abstracted and modelled using...
against polynomial time adversaries in the computational model. The TamarinProver is a modern alternative to ProVerif, with excellent support for Diffie-Hellman...
conservation status of the Callitrichidae". In: Rylands AB, editor. Marmosets and tamarins: systematics, behaviour, and ecology. Oxford (England): Oxford Univ Pr...
pied tamarin and the silvery marmoset are allowed to run free in a small wooded area which helps them thrive. Golden lion tamarin Emperor tamarin Black...
reported in female golden lion tamarins by French and Stribley. Their subjects consisted of five adult female golden lion tamarins that were housed in two groups...
of Florence". The Atlantic. Retrieved 30 March 2017. "INSUFFICIENZA DI PROVE". insufficienzadiprove.blogspot.com.es. Retrieved 30 March 2017. "Der Kannibale...
rather than the Mozilla Application Suite bundle. During its beta phase, it proved to be popular with its testers and was praised for its speed, security,...
members of the Furious Five. Pai Mei (voiced by Clancy Brown) is an emperor tamarin and a rogue kung fu master. He was exiled by Master Shifu after attempting...
cooperation are mixed and complex. Chimpanzees, bonobos, orangutans, capuchins, tamarins, wolves, elephants, ravens, and kea appear to understand the requirements...
caught. Julian Hume has suggested this island was l'île aux Benitiers in Tamarin Bay, on the west coast of Mauritius. Subfossil bones have also been found...
different plants, animals, and insects that call it home. When a frisky tamarin monkey runs off with their camera, the chase is on. "Monkey Senses": George...
There is a ceasefire with the otters and the babirusa. Pru the golden-headed lion tamarin is losing weight and spider Winston attempts to mate with Ruby....
moved to the new company. The name Xamarin comes from the name of the Tamarin monkey, replacing the leading T with an X. This is in line with the naming...
turbines: operating conditions, components and material requirements" Tamarin, Y. Protective Coatings for Turbine Blades. 2002. ASM International. pp...
the New World monkeys consisting of squirrel monkeys, capuchin monkeys, tamarins, and marmosets. They have been recognized as a sub-species of the tufted...
result (but using eggplants instead of dolls), rhesus macaque and cottontop tamarin monkeys performed similarly to human infants. More dramatically, after...
spring of 2013 proved to be a very fruitful time at the zoo as it welcomed two lion cubs, six African penguin chicks, one golden lion tamarin baby, three...
2020-12-17. "Reintroduction". Save The Golden Lion Tamarin. Retrieved 2023-06-20. "The Golden Lion Tamarin Returns From Extinction". Saving Nature. Retrieved...
Global Information
