|
Sign up
|
|
Automatic website change logs and notification
|
|
|
|
|
|
|
|
|
|
|
|
|
Publications of Bruno Blanchet
Current status: normal - monitoring
Number of users monitoring this page: 1
Most recent sizable change (text, html) : 2012-01-07 01:28
Most recent change (text, html) : 2012-01-07 01:28
Last checked for changes: 2012-02-13 00:53
ChangeDetection started monitoring: 2008-03-31 01:28
|
monitor this page
summary of most recent changes
|
View changes:
2012-01-07 01:28
164 new words, 21 deleted words, 6% change
|
|
... invitées [1] Bruno Blanchet. Security ... . [2] Martín Abadi (invited ... Springer Verlag. [23] Bruno Blanchet. ... July 2005. [34] Bruno Blanchet. ... . ACM. [45] Bruno Blanchet. ... Conférences [1] Miriam Paiola and Bruno Blanchet . Verification of security ... . In Pierpaolo Degano and Joshua Guttman, editors ... ] Bruno Blanchet and Avik Chaudhuri. Automated ... . IEEE. [23] Bruno Blanchet, ...
invitées [1] Bruno Blanchet. Security ... . [2] Martín Abadi (invited ... Springer Verlag. [3] Bruno Blanchet. ... July 2005. [4] Bruno Blanchet. ... . ACM. [5] Bruno Blanchet. ... Conférences [1] Miriam Paiola and Bruno Blanchet . Verification of security ... . In Pierpaolo Degano and Joshua Guttman, editors ... ] Bruno Blanchet and Avik Chaudhuri. Automated ... . IEEE. [3] Bruno Blanchet, ... . ACM. [4] Bruno Blanchet. ...
invitées [1] ... Springer Verlag. [2] Bruno Blanchet. ... July 2005. [3] Bruno Blanchet. ... . ACM. [4] Bruno Blanchet. ... . IEEE. [2] Bruno Blanchet, ... . ACM. [3] Bruno Blanchet. ... . IEEE. [4] Bruno Blanchet and ... Springer Verlag. [5] Bruno Blanchet. ... May 2006. [6] Bruno Blanchet, ... Computer Society. [7] Xavier Allamigeon and ... Computer Society. [8] Bruno Blanchet. ... May 2004. [9] Martín Abadi, ...
more...
|
|
View changes:
2011-11-04 01:28
12 new words, 0 deleted words, <1% change
|
|
... Security Protocols . In Olga Grumberg, Tobias Nipkow, and Javier Esparza, editors, Tools for Analysis and
Security Protocols . In Olga Grumberg, Tobias Nipkow, and Javier Esparza, editors, Tools for Analysis and
Security Protocols . In ... Tools for Analysis and
|
|
View changes:
2011-11-03 01:28
45 new words, 1 deleted words, 1% change
|
|
... ] Bruno Blanchet. Mechanizing Game-Based Proofs of Security Protocols . In Tools for Analysis and Verification of Software Safety and Security . IOS Press, 2012. Proceedings of the 2011 MOD summer school. To appear. [2] Bruno Blanchet. Using Horn Clauses for ... and Information Security Series , pages 86-111. IOS Press, March 2011. [23] Bruno Blanchet,
] Bruno Blanchet. Mechanizing Game-Based Proofs of Security Protocols . In Tools for Analysis and Verification of Software Safety and Security . IOS Press, 2012. Proceedings of the 2011 MOD summer school. To appear. [2] Bruno Blanchet. Using Horn Clauses for ... and Information Security Series , pages 86-111. IOS Press, March 2011. [3] Bruno Blanchet,
] Bruno Blanchet. ... . IOS Press, March 2011. [2] Bruno Blanchet,
|
|
View changes:
2011-07-01 01:28
39 new words, 7 deleted words, 1% change
|
|
... 1] Bruno Blanchet . A second look at Shoup's lemma . In Workshop on Formal and Computational Cryptography (FCC 2011) ... [2] Bruno Blanchet and David Pointcheval. The ... July 2010. [23] Bruno Blanchet, ... July 2009. [34] Bruno Blanchet. ... October 2007. [45] Bruno Blanchet, ... October 2007. [56] Bruno Blanchet. ... June 2005. [67] Bruno Blanchet. ... October 2003. [78] Bruno Blanchet and ... ...
1] Bruno Blanchet . A second look at Shoup's lemma . In Workshop on Formal and Computational Cryptography (FCC 2011) ... [2] Bruno Blanchet and David Pointcheval. The ... July 2010. [3] Bruno Blanchet, ... July 2009. [4] Bruno Blanchet. ... October 2007. [5] Bruno Blanchet, ... October 2007. [6] Bruno Blanchet. ... June 2005. [7] Bruno Blanchet. ... October 2003. [8] Bruno Blanchet and ... March 2003. [...
1] Bruno Blanchet ... July 2010. [2] Bruno Blanchet, ... July 2009. [3] Bruno Blanchet. ... October 2007. [4] Bruno Blanchet, ... October 2007. [5] Bruno Blanchet. ... June 2005. [6] Bruno Blanchet. ... October 2003. [7] Bruno Blanchet and ... March 2003. [8] Martín Abadi and
more...
|
|
View changes:
2011-03-09 01:28
11 new words, 4 deleted words, <1% change
|
|
... for Analyzing Security Protocols , volume 5 of Cryptology and Information Security Series . IOS Press, 2010March 2011. To appear. [2] Bruno
for Analyzing Security Protocols , volume 5 of Cryptology and Information Security Series . IOS Press, March 2011. ... [2] Bruno
for Analyzing Security Protocols ... . IOS Press, 2010. To appear. [2] Bruno
|
link to this change log
Changes to the page www.di.ens.fr/~blanchet/publications/index.html are logged on this page as they are detected. You can link to this log
by pasting the HTML below into your page. It produces a link which looks like this: change log
|
|
|
Automatic website change logs and notification
|
|
|
|
|
|
|
|
|
|
|
Copyright 1999-2010 FreeFind.com.
ChangeDetection and ChangeDetection.com are trademarks of FreeFind.com.
|
|
home
faq
policies
contact
website panels
tag reference
Site search technology provided by FreeFind.com and Findia.Net net search
|