Filters








107,751 Hits in 4.7 sec

Efficient type inference for secure information flow

Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 2006 workshop on Programming languages and analysis for security - PLAS &#39;06</a> </i> &nbsp;
This paper describes the design, analysis, and implementation of an efficient algorithm for information flow analysis expressed using a type system.  ...  classes flowing into places of lower security classes according to a lattice of security classes, by inferring the highest or lowest security class as appropriate for each program node.  ...  In this paper, we presented an approach to systematically deriving efficient algorithms for type inference for secure information flow types.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1134744.1134759">doi:10.1145/1134744.1134759</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/HristovaRLS06.html">dblp:conf/pldi/HristovaRLS06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ignxp24bijb3zgz3ee5a4jgyhu">fatcat:ignxp24bijb3zgz3ee5a4jgyhu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808075759/https://www.rothamel.us/papers/hristova-plas06.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b9/fb/b9fbb44b828fa7d8421faf28b38da1096f877159.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1134744.1134759"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An Automatic Inference of Minimal Security Types [chapter]

Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin
<span title="">2015</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Type-based information-flow analyses provide strong end-toend confidentiality guarantees for programs.  ...  In this article, we propose a new algorithm for inferring such security types automatically.  ...  Acknowledgements We thank the anonymous reviewers for their valuable comments. We thank Patrick Metzler for his help in the implementation of Adele.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-26961-0_24">doi:10.1007/978-3-319-26961-0_24</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yitkrwes7reu7cxqtqdgwgkwhe">fatcat:yitkrwes7reu7cxqtqdgwgkwhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809152224/http://www.mais.informatik.tu-darmstadt.de/WebBibPHP/papers/2015/type-inference-iciss15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/a4/ada44c1bbbf39bf1df2a1d0e92e4161ae8ec6d03.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-26961-0_24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The MOBIUS Proof Carrying Code Infrastructure [chapter]

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
flow type checker for real Java is a nontrivial task.  ...  We use here the Jif (http://www.cs.cornell.edu/jif) syntax: a security-typed extension of Java (source) with support for information flow. 2 ) High = secret Low = public Example of information leaks  ...  Conclusions Conclusions Information flow and resource analyses are highly desirable for mobile code but require complex and powerful analyses Proof Carrying Code allows to clearly separate proof search  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-92188-2_1">doi:10.1007/978-3-540-92188-2_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a4sdtprwgvc7fnmp7qflsq35ca">fatcat:a4sdtprwgvc7fnmp7qflsq35ca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830042048/http://www.rennes.supelec.fr/diwall/talks/pichardie.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/84/3e/843ec164dbf73a77e3506dd6a4b86b15b41e85ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-92188-2_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Information Flows in Encrypted Databases [article]

Kapil Vaswani, Ravi Ramamurthy, Ramarathnam Venkatesan
<span title="2016-05-03">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
However, encrypting columns and protecting encryption keys does not ensure confidentiality - sensitive data can leak during query processing due to information flows through the trusted client.  ...  In this paper, we propose SecureSQL, an encrypted database that partitions query processing between an untrusted server and a trusted client while ensuring the absence of information flows.  ...  Another reason for not permitting all coercions is efficiency -type inference is tractable only when the subtyping relation is a partial order, and efficient when the partial order is a lattice [23] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1605.01092v1">arXiv:1605.01092v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mqya6ch4fzdwhg7avljnhl2zsm">fatcat:mqya6ch4fzdwhg7avljnhl2zsm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200828154659/https://arxiv.org/pdf/1605.01092v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/10/e1/10e161ea68d884125cfce8bfc2a9437d0e8f83e2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1605.01092v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Andromeda: Accurate and Scalable Security Analysis of Web Applications [chapter]

Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The key observation informing our approach is that taint analysis is a demand-driven problem, which enables lazy computation of vulnerable information flows, instead of eagerly computing a complete data-flow  ...  Security auditing of industry-scale software systems mandates automation.  ...  Conclusion We have presented ANDROMEDA, a security-analysis algorithm featuring local, demanddriven tracking of vulnerable information flows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37057-1_15">doi:10.1007/978-3-642-37057-1_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vzvyutcwwreaviyips3rd4zlsm">fatcat:vzvyutcwwreaviyips3rd4zlsm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502165103/https://link.springer.com/content/pdf/10.1007%2F978-3-642-37057-1_15.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a2/56/a2562221a61cbeea7ecc6e8c5a482440eff7c423.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37057-1_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Type and Effect Annotations for Safe Memory Access in C

Syrine Tlili, Mourad Debbabi
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6esmd4ad3namzfggdse6okxdte" style="color: black;">2008 Third International Conference on Availability, Reliability and Security</a> </i> &nbsp;
The flow-sensitivity nature of our analysis enables us to modify type annotations at each program point and to efficiently detect temporal errors.  ...  We present an inference algorithm that automatically infers type annotations and applies security checks without programmer's intervention.  ...  In Section 4, we describe the typing rules for expressions, statements, and control flow constructs. Section 5 outlines the static security checks performed during our type analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ares.2008.18">doi:10.1109/ares.2008.18</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/IEEEares/TliliD08.html">dblp:conf/IEEEares/TliliD08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d5txmr3nknghvjrihee7yii43e">fatcat:d5txmr3nknghvjrihee7yii43e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401024515/http://users.encs.concordia.ca/~debbabi/pdf/Type%20and%20Effect%20Annotations%20for%20Safe%20Memory%20Access%20in%20C.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/56/b656703a96caa3a446782da8989c7acfe46c3cd2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ares.2008.18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Static Analysis for Efficient Hybrid Information-Flow Control

Scott Moore, Stephen Chong
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kea5jpvemrdmvbwvgh5jn6gog4" style="color: black;">2011 IEEE 24th Computer Security Foundations Symposium</a> </i> &nbsp;
However, unlike purely static mechanisms for information security, hybrid information-flow monitors incur run-time overhead.  ...  These results bring us closer to efficient, sound, and precise enforcement of information security.  ...  ACKNOWLEDGMENTS We thank the anonymous reviewers and Vikram Adve, John Criswell, Arushi Aggarwal, Will Dietz, and Gregory Malecha for helpful feedback on earlier versions of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csf.2011.17">doi:10.1109/csf.2011.17</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csfw/MooreC11.html">dblp:conf/csfw/MooreC11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wjryaocuojal5kynwqfn2xxfse">fatcat:wjryaocuojal5kynwqfn2xxfse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921224502/http://people.seas.harvard.edu/%7Echong/pubs/csf11_hybrid_monitors.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/36/e236d9c56dca30a9883c4aa52ffaa52937bf6445.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/csf.2011.17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Information flow inference for ML

François Pottier, Vincent Simonet
<span title="">2002</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;02</a> </i> &nbsp;
The typing of mutable cells is not fine enough. No security property is stated.Andrew C. Myers JFlow (1999) Information flow analysis for Java.  ...  MIMOSA September 27, 2001 Information Flow Inference for ML (Vincent Simonet) 8 Type system Type algebra The information levels , pc belong to the lattice L.  ...  It will require to solve several problems due to the use of a type system with subtyping: • Efficiency of the inference algorithm Towards an extension of the Caml compiler Type inference An inference  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/503272.503302">doi:10.1145/503272.503302</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/PottierS02.html">dblp:conf/popl/PottierS02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3bnsyszth5ennimgto6sqd432u">fatcat:3bnsyszth5ennimgto6sqd432u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706083917/http://www.normalesup.org/%7Esimonet/talks/simonet-mimosa-01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ef/d7/efd7da55f365ad125a295fb0a77d4b07fa6c2330.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/503272.503302"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

NetODESSA: Dynamic Policy Enforcement in Cloud Networks

John Bellessa, Evan Kroske, Reza Farivar, Mirko Montanari, Kevin Larson, Roy H. Campbell
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vb3ehoarofgm5p24f2dqjxmp3a" style="color: black;">2011 IEEE 30th Symposium on Reliable Distributed Systems Workshops</a> </i> &nbsp;
Moreover, NetODESSA will infer refinements to the policy from network and host-level data, ensuring that the network remains secure.  ...  In response, we propose NetODESSA, an inference-based system for network configuration and dynamic policy enforcement.  ...  For instance, consider a secured cloud that houses a repository of sensitive information that is accessible to authorized personnel via SSH.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/srdsw.2011.24">doi:10.1109/srdsw.2011.24</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/srds/BellessaKFMLC11.html">dblp:conf/srds/BellessaKFMLC11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2ywtxwravjfqhpdiyfeycgawbu">fatcat:2ywtxwravjfqhpdiyfeycgawbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140823091642/http://tcipg.org/sites/default/files/papers/2011_Q3_Forensics2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/fc/80fc7f406942a2e92c87b74c55c648e28f40a8f0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/srdsw.2011.24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Information Flow Analysis for Java Bytecode [chapter]

Samir Genaim, Fausto Spoto
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode.  ...  To the best of our knowledge, it is the first implementation of an analysis of information flow for the full Java bytecode.  ...  These techniques range from data/control -flow [4, 5, 12, 15, 14] to type-inference [16, 18, 3, 2, 11, 8] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30579-8_23">doi:10.1007/978-3-540-30579-8_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7u2rmvfbcnauff3y62mfzknj7i">fatcat:7u2rmvfbcnauff3y62mfzknj7i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809054539/http://costa.ls.fi.upm.es/~genaim/home/db/papers/GenaimS04.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/5e/e35e65544a8a89febbf347c944955ea64726c924.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30579-8_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

SECURE SEMANTIC COMPUTING

KEVIN W. HAMLEN, BHAVANI THURAISINGHAM
<span title="">2011</span> <i title="World Scientific Pub Co Pte Lt"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jlgzoviz5nebpedbramyvmszb4" style="color: black;">International Journal of Semantic Computing (IJSC)</a> </i> &nbsp;
Past and current research on the application of semantic web technologies for policy management and inference control, the application of data mining technologies for intrusion and malware detection, and  ...  This paper explores the integration of semantic computing technologies with security technologies.  ...  The Java Information Flow (JIF) system implements information flow controls via static type-checking for Java programs [22] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1142/s1793351x11001201">doi:10.1142/s1793351x11001201</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5yddnb5kgngfnpy3urke6ulwai">fatcat:5yddnb5kgngfnpy3urke6ulwai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812115629/http://www.utdallas.edu/~kxh060100/hamlen11ijsc.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/8f/f58ffc207dcb3a508c11e423ca475ef2414bcd8b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1142/s1793351x11001201"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> worldscientific.com </button> </a>

Inference of Expressive Declassification Policies

Jeffrey A. Vaughan, Stephen Chong
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/inod5dqjxfdj3bnjykkklcg7d4" style="color: black;">2011 IEEE Symposium on Security and Privacy</a> </i> &nbsp;
Keywords-declassification policies, information flow, language based security, inference of security policies.  ...  We explore the inference of expressive humanreadable declassification policies as a step towards providing practical tools and techniques for strong language-based information security.  ...  ACKNOWLEDGMENTS We thank Aslan Askarov and Andrei Sabelfeld for sharing the mental poker source code. We thank our reviewers and shepherd for useful feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sp.2011.20">doi:10.1109/sp.2011.20</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sp/VaughanC11.html">dblp:conf/sp/VaughanC11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gp36zzgr4rhhdis5zbcdmugxyu">fatcat:gp36zzgr4rhhdis5zbcdmugxyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110913104723/http://people.seas.harvard.edu/~chong/pubs/oakland11_inference.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/29/10/2910c86f0ed00d63865c7ae677cb0df7596be26f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sp.2011.20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Slicstan: A Blockless Stan-Like Language

Maria Gorinova, Andrew Gordon, Charles Sutton
<span title="2018-01-10">2018</span> <i title="Zenodo"> Zenodo </i> &nbsp;
SlicStan is novel in two ways: (1) it allows variable declarations and statements to be automatically shredded into different components needed for efficient Hamiltonian Monte Carlo inference, and (2)  ...  This work demonstrates that efficient automatic inference can be the result of the machine learning and programming languages communities joint efforts.  ...  Information Flow Analysis and Level Types Information flow is the transfer of information between two variables in some process.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1284348">doi:10.5281/zenodo.1284348</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tso3n6ckzzhwripzjzmica4qti">fatcat:tso3n6ckzzhwripzjzmica4qti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201225045513/https://zenodo.org/record/1284348/files/SlicStan.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0c/eb/0cebda6ad6f3a24abfb150dbd4f9995ec5530105.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1284348"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Secure Information Flow as a Safety Problem [chapter]

Tachio Terauchi, Alex Aiken
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation.  ...  ., better than traditional type-based approaches and better than the selfcompositional approach. ⋆  ...  secure information flow problem with information downgrading problem instance (P, H, L, e) (see Definition 7), secure information flow type inference is an algorithm that outputs a type environment Γ with  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11547662_24">doi:10.1007/11547662_24</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/42sreizu2zffxbpcxj6hcpvtym">fatcat:42sreizu2zffxbpcxj6hcpvtym</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100307111012/http://www.kb.ecei.tohoku.ac.jp:80/~terauchi/papers/tr05-infoflow.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7c/55/7c555dfba844337d9ed1d56c231d99448069d83e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11547662_24"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments [article]

Yifei Zhang, Tian Tan, Yue Li, Jingling Xue
<span title="2016-12-16">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In this paper, we bring forward the ubiquity of incomplete information environments (IIEs) for Android apps, where some critical data-flows are missing during static analysis, and the need for resolving  ...  Currently, string inference is applied to handle reflection, resulting in significantly missed security vulnerabilities.  ...  Type Inference for Information-Missing Reflective Calls.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1612.05343v1">arXiv:1612.05343v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p2o53ryzxffobgnpndzmbsryma">fatcat:p2o53ryzxffobgnpndzmbsryma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200927090202/https://arxiv.org/pdf/1612.05343v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a0/e8/a0e85477fa1b03af43934e114db94655c0660157.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1612.05343v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 107,751 results