Pub Date : 2014-04-05DOI: 10.1007/978-3-642-54792-8_8
G. Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa
{"title":"Leakage Resilience against Concurrent Cache Attacks","authors":"G. Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa","doi":"10.1007/978-3-642-54792-8_8","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_8","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"16 1","pages":"140-158"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86973724","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 : 2014-04-05DOI: 10.1007/978-3-642-54792-8_14
Petar Tsankov, Srdjan Marinovic, M. Dashti, D. Basin
{"title":"Decentralized Composite Access Control","authors":"Petar Tsankov, Srdjan Marinovic, M. Dashti, D. Basin","doi":"10.1007/978-3-642-54792-8_14","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_14","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"80 1","pages":"245-264"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81531669","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 : 2014-04-05DOI: 10.1007/978-3-642-54792-8_11
Jed Liu, A. Myers
{"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}
Pub Date : 2014-04-05DOI: 10.1007/978-3-642-54792-8_10
D. Costanzo, Zhong Shao
{"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}
Pub Date : 2014-01-13DOI: 10.1007/978-3-642-54792-8_1
David Baelde, S. Delaune, L. Hirschi
{"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}
Pub Date : 2013-06-27DOI: 10.1007/978-3-642-54792-8_15
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}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_5
Thanh Binh Nguyen, C. Sprenger
{"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}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_3
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}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_7
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}
Pub Date : 2013-03-16DOI: 10.1007/978-3-642-36830-1_14
Marco Carbone, J. Guttman
{"title":"Sessions and Separability in Security Protocols","authors":"Marco Carbone, J. Guttman","doi":"10.1007/978-3-642-36830-1_14","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_14","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"2011 1","pages":"267-286"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82607866","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
扫码关注我们
求助内容：
应助结果提醒方式：