Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, L. Meinicke
{"title":"Abstract Channels and Their Robust Information-Leakage Ordering","authors":"Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, L. Meinicke","doi":"10.1007/978-3-642-54792-8_5","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_5","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"235 1","pages":"83-102"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91449650","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}
{"title":"Stateful Applied Pi Calculus","authors":"Myrto Arapinis, Jia Liu, Eike Ritter, M. Ryan","doi":"10.1007/978-3-642-54792-8_2","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_2","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"7 1","pages":"22-41"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90809986","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}
{"title":"Defining and Enforcing Referential Security","authors":"Jed Liu, A. Myers","doi":"10.1007/978-3-642-54792-8_11","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_11","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"17 1","pages":"199-219"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80468274","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}
{"title":"A Separation Logic for Enforcing Declarative Information Flow Control Policies","authors":"D. Costanzo, Zhong Shao","doi":"10.1007/978-3-642-54792-8_10","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_10","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"24 1","pages":"179-198"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85077566","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}
{"title":"A reduced semantics for deciding trace equivalence using constraint systems","authors":"David Baelde, S. Delaune, L. Hirschi","doi":"10.1007/978-3-642-54792-8_1","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_1","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"7 1 1","pages":"1-21"},"PeriodicalIF":0.0,"publicationDate":"2014-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78054323","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}
Michael R. Clarkson, B. Finkbeiner, M. Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
{"title":"Temporal Logics for Hyperproperties","authors":"Michael R. Clarkson, B. Finkbeiner, M. Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez","doi":"10.1007/978-3-642-54792-8_15","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_15","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"78 1","pages":"265-284"},"PeriodicalIF":0.0,"publicationDate":"2013-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83777185","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}
{"title":"Sound Security Protocol Transformations","authors":"Thanh Binh Nguyen, C. Sprenger","doi":"10.1007/978-3-642-36830-1_5","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_5","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"35 1","pages":"83-104"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88302063","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}
Ehab ElSalamouny, K. Chatzikokolakis, C. Palamidessi
{"title":"A Differentially Private Mechanism of Optimal Utility for a Region of Priors","authors":"Ehab ElSalamouny, K. Chatzikokolakis, C. Palamidessi","doi":"10.1007/978-3-642-36830-1_3","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_3","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"94 1","pages":"41-62"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83577234","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}
Chetan Bansal, K. Bhargavan, Antoine Delignat-Lavaud, S. Maffeis
{"title":"Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage","authors":"Chetan Bansal, K. Bhargavan, Antoine Delignat-Lavaud, S. Maffeis","doi":"10.1007/978-3-642-36830-1_7","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_7","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"41 1","pages":"126-146"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77578431","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}
{"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}