Pub Date : 2019-06-17DOI: 10.23638/LMCS-17(1:15)2021
Cristian Ene, L. Mounier, Marie-Laure Potet
Constant-time programming is a countermeasure to prevent cache based attacks where programs should not perform memory accesses that depend on secrets. In some cases this policy can be safely relaxed if one can prove that the program does not leak more information than the public outputs of the computation.
{"title":"Output-Sensitive Information Flow Analysis","authors":"Cristian Ene, L. Mounier, Marie-Laure Potet","doi":"10.23638/LMCS-17(1:15)2021","DOIUrl":"https://doi.org/10.23638/LMCS-17(1:15)2021","url":null,"abstract":"Constant-time programming is a countermeasure to prevent cache based attacks where programs should not perform memory accesses that depend on secrets. In some cases this policy can be safely relaxed if one can prove that the program does not leak more information than the public outputs of the computation.","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121786128","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 : 2019-06-17DOI: 10.1007/978-3-030-21759-4_14
J. Stefani, Martin Vassor
{"title":"Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework","authors":"J. Stefani, Martin Vassor","doi":"10.1007/978-3-030-21759-4_14","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_14","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131020522","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 : 2019-06-17DOI: 10.1007/978-3-030-21759-4_2
K. Altisen, P. Corbineau, Stéphane Devismes
{"title":"Squeezing Streams and Composition of Self-stabilizing Algorithms","authors":"K. Altisen, P. Corbineau, Stéphane Devismes","doi":"10.1007/978-3-030-21759-4_2","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_2","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128386390","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 : 2019-06-17DOI: 10.1007/978-3-030-21759-4_12
Diego Marmsoler
{"title":"Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification","authors":"Diego Marmsoler","doi":"10.1007/978-3-030-21759-4_12","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_12","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128815872","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 : 2019-06-17DOI: 10.1007/978-3-030-21759-4_4
Ran Bao, J. Attiogbé, Benoît Delahaye, P. Fournier, D. Lime
{"title":"Parametric Statistical Model Checking of UAV Flight Plan","authors":"Ran Bao, J. Attiogbé, Benoît Delahaye, P. Fournier, D. Lime","doi":"10.1007/978-3-030-21759-4_4","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_4","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117296425","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 : 2019-06-17DOI: 10.1007/978-3-030-21759-4_8
Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, S. Debois, Marco Carbone
{"title":"Declarative Choreographies and Liveness","authors":"Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, S. Debois, Marco Carbone","doi":"10.1007/978-3-030-21759-4_8","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_8","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128495872","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 : 2019-06-17DOI: 10.1007/978-3-030-21759-4_9
Jannik Hüls, Anne Remke
{"title":"Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes","authors":"Jannik Hüls, Anne Remke","doi":"10.1007/978-3-030-21759-4_9","DOIUrl":"https://doi.org/10.1007/978-3-030-21759-4_9","url":null,"abstract":"","PeriodicalId":448077,"journal":{"name":"Formal Techniques for (Networked and) Distributed Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114926662","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
扫码关注我们
求助内容：
应助结果提醒方式：