Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_12
Vincent Cheval, B. Blanchet
{"title":"Proving More Observational Equivalences with ProVerif","authors":"Vincent Cheval, B. Blanchet","doi":"10.1007/978-3-642-36830-1_12","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_12","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"32 1","pages":"226-246"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73213844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_10
Massimo Bartoletti, Tiziana Cimoli, R. Zunino
{"title":"A Theory of Agreements and Protection","authors":"Massimo Bartoletti, Tiziana Cimoli, R. Zunino","doi":"10.1007/978-3-642-36830-1_10","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_10","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"380 1","pages":"186-205"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89606987","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_13
Jannik Dreier, P. Lafourcade, Y. Lakhnech
{"title":"Formal Verification of e-Auction Protocols","authors":"Jannik Dreier, P. Lafourcade, Y. Lakhnech","doi":"10.1007/978-3-642-36830-1_13","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_13","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"13 1","pages":"247-266"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89903701","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_1
Rémy Chrétien, S. Delaune
{"title":"Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks","authors":"Rémy Chrétien, S. Delaune","doi":"10.1007/978-3-642-36830-1_1","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_1","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"64 1","pages":"1-20"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74597205","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_9
M. Abadi, Jérémy Planul
{"title":"On Layout Randomization for Arrays and Functions","authors":"M. Abadi, Jérémy Planul","doi":"10.1007/978-3-642-36830-1_9","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_9","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"54 1","pages":"167-185"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91100025","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_2
Myrto Arapinis, V. Cortier, S. Kremer, M. Ryan
{"title":"Practical Everlasting Privacy","authors":"Myrto Arapinis, V. Cortier, S. Kremer, M. Ryan","doi":"10.1007/978-3-642-36830-1_2","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_2","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"109 10 1","pages":"21-40"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86394361","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_8
S. Mödersheim, F. Nielson, H. R. Nielson
{"title":"Lazy Mobile Intruders","authors":"S. Mödersheim, F. Nielson, H. R. Nielson","doi":"10.1007/978-3-642-36830-1_8","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_8","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"602 1","pages":"147-166"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77352868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_3
V. Cortier, Jan Degrieck, S. Delaune
{"title":"Analysing Routing Protocols: Four Nodes Topologies Are Sufficient","authors":"V. Cortier, Jan Degrieck, S. Delaune","doi":"10.1007/978-3-642-28641-4_3","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_3","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"102 1","pages":"30-50"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85519215","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_12
G. Barthe, B. Grégoire, S. Heraud, Federico Olmedo, Santiago Zanella Béguelin
{"title":"Verified Indifferentiable Hashing into Elliptic Curves","authors":"G. Barthe, B. Grégoire, S. Heraud, Federico Olmedo, Santiago Zanella Béguelin","doi":"10.1007/978-3-642-28641-4_12","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_12","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"78 1","pages":"209-228"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88339715","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_2
B. Blanchet
{"title":"Security Protocol Verification: Symbolic and Computational Models","authors":"B. Blanchet","doi":"10.1007/978-3-642-28641-4_2","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_2","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"29 2","pages":"3-29"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91501753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：