Search results for "PLAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Prasad Naldurg, Nikhil Swamy (eds.)	Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013	PLAS	2013	DBLP BibTeX RDF
1	Martin Mariusz Lester	Position paper: the science of boxing.	PLAS	2013	DBLP DOI BibTeX RDF
1	Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck	WEBLOG: a declarative language for secure web development.	PLAS	2013	DBLP DOI BibTeX RDF
1	Per A. Hallgren, Daniel T. Mauritzson, Andrei Sabelfeld	GlassTube: a lightweight approach to web application integrity.	PLAS	2013	DBLP DOI BibTeX RDF
1	Thomas H. Austin, Jean Yang 0001, Cormac Flanagan, Armando Solar-Lezama	Faceted execution of policy-agnostic programs.	PLAS	2013	DBLP DOI BibTeX RDF
1	Andreas Gampe, Jeffery von Ronne	Security completeness: towards noninterference in composed languages.	PLAS	2013	DBLP DOI BibTeX RDF
1	Matthias Keil 0002, Peter Thiemann 0001	Type-based dependency analysis for javascript.	PLAS	2013	DBLP DOI BibTeX RDF
1	Xun Li 0001, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong	Position paper: Sapper - a language for provable hardware policy enforcement.	PLAS	2013	DBLP DOI BibTeX RDF
1	Aseem Rastogi, Piotr Mardziel, Michael Hicks 0001, Matthew A. Hammer	Knowledge inference for optimizing secure multi-party computation.	PLAS	2013	DBLP DOI BibTeX RDF
1	David Sands 0001	Fault-tolerant non-interference: invited talk abstract.	PLAS	2013	DBLP DOI BibTeX RDF
1	Eric Bodden	Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper.	PLAS	2012	DBLP DOI BibTeX RDF
1	Alejandro Mario Hernandez, Flemming Nielson	A generic approach for security policies composition: position paper.	PLAS	2012	DBLP DOI BibTeX RDF
1	Shuying Liang, Matthew Might	Hash-flow taint analysis of higher-order programs.	PLAS	2012	DBLP DOI BibTeX RDF
1	Damien Doligez, Mathieu Jaume, Renaud Rioboo	Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.	PLAS	2012	DBLP DOI BibTeX RDF
1	Dominic Duggan, Ye Wu 0006	Security correctness for secure nested transactions: position paper.	PLAS	2012	DBLP DOI BibTeX RDF
1	Luciano Bello, Alejandro Russo	Towards a taint mode for cloud computing web applications.	PLAS	2012	DBLP DOI BibTeX RDF
1	Soha Hussein, Patrick O'Neil Meredith, Grigore Rosu	Security-policy monitoring and enforcement with JavaMOP.	PLAS	2012	DBLP DOI BibTeX RDF
1	Sergio Maffeis, Tamara Rezk (eds.)	Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012	PLAS	2012	DBLP BibTeX RDF
1	Ana Almeida Matos, José Fragoso Santos	Typing illegal information flows as program effects.	PLAS	2012	DBLP DOI BibTeX RDF
1	Piotr Mardziel, Michael Hicks 0001, Jonathan Katz, Mudhakar Srivatsa	Knowledge-oriented secure multiparty computation.	PLAS	2012	DBLP DOI BibTeX RDF
1	Willard Rafnsson, Andrei Sabelfeld	Limiting information leakage in event-based communication.	PLAS	2011	DBLP DOI BibTeX RDF
1	Ziyuan Meng, Geoffrey Smith 0001	Calculating bounds on information leakage using two-bit patterns.	PLAS	2011	DBLP DOI BibTeX RDF
1	Matteo Maffei, Kim Pecina	Privacy-aware proof-carrying authorization.	PLAS	2011	DBLP DOI BibTeX RDF
1	Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld	Capabilities for information flow.	PLAS	2011	DBLP DOI BibTeX RDF
1	Joseph L. Greathouse, Todd M. Austin	The potential of sampling for dynamic analysis.	PLAS	2011	DBLP DOI BibTeX RDF
1	Arnar Birgisson, Frank McSherry, Martín Abadi	Differential privacy with information flow control.	PLAS	2011	DBLP DOI BibTeX RDF
1	Aslan Askarov, Joshua D. Guttman (eds.)	Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011	PLAS	2011	DBLP BibTeX RDF
1	Musard Balliu, Mads Dam, Gurvan Le Guernic	Epistemic temporal logic for information flow security.	PLAS	2011	DBLP DOI BibTeX RDF
1	Sooel Son, Vitaly Shmatikov	SAFERPHP: finding semantic vulnerabilities in PHP applications.	PLAS	2011	DBLP DOI BibTeX RDF
1	Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov	Efficient, context-sensitive detection of real-world semantic attacks.	PLAS	2010	DBLP DOI BibTeX RDF
1	Gregory Malecha, Stephen Chong	A more precise security type system for dynamic security tests.	PLAS	2010	DBLP DOI BibTeX RDF
1	Xun Li 0001, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong	Secure information flow analysis for hardware design: using the right abstraction for the job.	PLAS	2010	DBLP DOI BibTeX RDF
1	D. Hassan, Mohammad Reza Mousavi 0001, Michel A. Reniers	Restricted delegation and revocation in language-based security: (position paper).	PLAS	2010	DBLP DOI BibTeX RDF
1	Adrian Mettler, David A. Wagner 0001	Class properties for security review in an object-capability subset of Java: (short paper).	PLAS	2010	DBLP DOI BibTeX RDF
1	Anindya Banerjee 0001, Deepak Garg 0001 (eds.)	Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010	PLAS	2010	DBLP BibTeX RDF
1	Thomas H. Austin, Cormac Flanagan	Permissive dynamic information flow analysis.	PLAS	2010	DBLP DOI BibTeX RDF
1	Pascal Berthomé, Karine Heydemann, Xavier Kauffmann-Tourkestansky, Jean-François Lalande	Attack model for verification of interval security properties for smart card C codes.	PLAS	2010	DBLP DOI BibTeX RDF
1	Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy	The case for JavaScript transactions: position paper.	PLAS	2010	DBLP DOI BibTeX RDF
1	Brian W. DeVries, Gopal Gupta 0001, Kevin W. Hamlen, Scott Moore, Meera Sridhar	ActionScript bytecode verification with co-logic programming.	PLAS	2009	DBLP DOI BibTeX RDF	ActionScript, coinductive logic programming, in-lined reference monitoring, model checking, verification
1	James Newsome, Stephen McCamant, Dawn Song	Measuring channel capacity to distinguish undue influence.	PLAS	2009	DBLP DOI BibTeX RDF	model counting, quantitative information flow, channel capacity
1	Arnar Birgisson, Úlfar Erlingsson	An implementation and semantics for transactional memory introspection in Haskell.	PLAS	2009	DBLP DOI BibTeX RDF	transactional memory, reference monitors
1	Musard Balliu, Isabella Mastroeni	A weakest precondition approach to active attacks analysis.	PLAS	2009	DBLP DOI BibTeX RDF	robustness, non-interference, declassification, program semantics, active attackers
1	Limin Jia 0001, Steve Zdancewic	Encoding information flow in Aura.	PLAS	2009	DBLP DOI BibTeX RDF	access control, information flow control, declassification, security type system, authorization logic
1	Thomas H. Austin, Cormac Flanagan	Efficient purely-dynamic information flow analysis.	PLAS	2009	DBLP DOI BibTeX RDF	dynamic analysis, information flow control
1	Aslan Askarov, Andrei Sabelfeld	Catch me if you can: permissive yet secure error handling.	PLAS	2009	DBLP DOI BibTeX RDF	exception handling, security type system
1	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
1	Avraham Shinnar, Marco Pistoia, Anindya Banerjee 0001	A language for information flow: dynamic tracking in multiple interdependent dimensions.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
1	Avik Chaudhuri	Language-based security on Android.	PLAS	2009	DBLP DOI BibTeX RDF	data-flow security, hybrid type system, mobile code, certified compilation
1	Niklas Broberg, David Sands 0001	Flow-sensitive semantics for dynamic information flow policies.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
1	Stephen Chong, David A. Naumann (eds.)	Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009	PLAS	2009	DBLP DOI BibTeX RDF
1	Christian Hammer 0001, Rüdiger Schaade, Gregor Snelting	Static path conditions for Java.	PLAS	2008	DBLP DOI BibTeX RDF	java, program slicing, information flow control, dynamic dispatch, path condition
1	Pasquale Malacaria, Han Chen	Lagrange multipliers and maximum information leakage in different observational models.	PLAS	2008	DBLP DOI BibTeX RDF	security, information theory, lagrange multipliers
1	Lantian Zheng, Andrew C. Myers	Securing nonintrusive web encryption through information flow.	PLAS	2008	DBLP DOI BibTeX RDF	encryption, type system, information flow control
1	Clifford Liem, Yuan Xiang Gu, Harold Johnson	A compiler-based infrastructure for software-protection.	PLAS	2008	DBLP DOI BibTeX RDF	compiler-based techniques, software protection, tamper resistance, code transformation
1	Kevin W. Hamlen, Micah Jones	Aspect-oriented in-lined reference monitors.	PLAS	2008	DBLP DOI BibTeX RDF	in-lined reference monitors, object-oriented programming, aspect-oriented programming, runtime verification, security automata
1	Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin	A security domain model to assess software for exploitable covert channels.	PLAS	2008	DBLP DOI BibTeX RDF	automated program verification, security domain model, static analysis, specification language, covert channel, dynamic slicing
1	James Cheney, Morten Dahl	Resource bound analysis for database queries.	PLAS	2008	DBLP DOI BibTeX RDF	resource bounds, databases, query languages
1	Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani	A type system for data-flow integrity on windows vista.	PLAS	2008	DBLP DOI BibTeX RDF	data-flow integrity, hybrid type system, explicit substitution, dynamic access control
1	Miranda Mowbray, Antonio Lain	Dominator-tree analysis for distributed authorization.	PLAS	2008	DBLP DOI BibTeX RDF	access control, dominator tree, distributed authorization
1	Riccardo Focardi, Matteo Centenaro	Information flow security of multi-threaded distributed programs.	PLAS	2008	DBLP DOI BibTeX RDF	symbolic cryptography, information flow, bisimulation, language-based security
1	Dejan Baca, Bengt Carlsson, Lars Lundberg	Evaluating the cost reduction of static code analysis for software security.	PLAS	2008	DBLP DOI BibTeX RDF	coverity prevent, early fault detection, trouble report, security, source code, false positive, cost reduction, static code analysis
1	Nikhil Swamy, Michael Hicks 0001	Verified enforcement of stateful information release policies.	PLAS	2008	DBLP DOI BibTeX RDF	certified evaluation, state modifying, dependent, declassification, affine, singleton types
1	Fabio Massacci, Ida Sri Rejeki Siahaan	Simulating midlet's security claims with automata modulo theory.	PLAS	2008	DBLP DOI BibTeX RDF	security policy, automata, mobile code
1	Úlfar Erlingsson, Marco Pistoia (eds.)	Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008	PLAS	2008	DBLP BibTeX RDF
1	Stephen McCamant, Michael D. Ernst	A simulation-based proof technique for dynamic information flow.	PLAS	2007	DBLP DOI BibTeX RDF	implicit flow, dynamic analysis, information-flow analysis
1	Boniface Hicks, Dave King 0002, Patrick D. McDaniel	Jifclipse: development tools for security-typed languages.	PLAS	2007	DBLP DOI BibTeX RDF	Jif, security-typed languages, Eclipse, developer tools
1	Karl Chen, David A. Wagner 0001	Large-scale analysis of format string vulnerabilities in Debian Linux.	PLAS	2007	DBLP DOI BibTeX RDF	format string vulnerability, large-scale analysis, type-qualifier inference
1	Geoffrey Smith 0001, Rafael Alpízar	Fast probabilistic simulation, nontermination, and secure information flow.	PLAS	2007	DBLP DOI BibTeX RDF	probabilistic noninterference, type systems
1	Aslan Askarov, Andrei Sabelfeld	Localized delimited release: combining the what and where dimensions of information release.	PLAS	2007	DBLP DOI BibTeX RDF	de-classification, information flow, security policies, noninterference, downgrading
1	Han Chen, Pasquale Malacaria	Quantitative analysis of leakage for multi-threaded programs.	PLAS	2007	DBLP DOI BibTeX RDF	multi-threaded languages, security, information theory
1	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Towards a logical account of declassification.	PLAS	2007	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
1	Michael W. Hicks (eds.)	Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007	PLAS	2007	DBLP BibTeX RDF
1	Scott F. Smith 0001, Mark Thober	Improving usability of information flow security in java.	PLAS	2007	DBLP DOI BibTeX RDF	java, security policies, type inference, declassification, information flow security
1	Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett	Informal presentation: a trust management perspective on managing policy updates in security-typed languages.	PLAS	2007	DBLP DOI BibTeX RDF
1	John Case, Samuel E. Moelius	Cautious virus detection in the extreme.	PLAS	2007	DBLP DOI BibTeX RDF	co-isolated sets, program self-reference, simple sets, virus detection, recursion theorems
1	Janus Dam Nielsen, Michael I. Schwartzbach	A domain-specific programming language for secure multiparty computation.	PLAS	2007	DBLP DOI BibTeX RDF	SMCL, design, implementation, analysis
1	Hassen Saïdi	Guarded models for intrusion detection.	PLAS	2007	DBLP DOI BibTeX RDF	intrusion detection, static analysis, dynamic analysis, invariant generation
1	V. Benjamin Livshits, Úlfar Erlingsson	Using web application construction frameworks to protect against code injection attacks.	PLAS	2007	DBLP DOI BibTeX RDF	software construction frameworks, software security, same-origin policy, code injection attacks
1	Nenad Jovanovic, Christopher Kruegel, Engin Kirda	Precise alias analysis for static detection of web application vulnerabilities.	PLAS	2006	DBLP DOI BibTeX RDF	scripting languages security, static analysis, program analysis, data flow analysis, PHP, alias analysis, cross-site scripting, web application security
1	Hiroshi Unno 0001, Naoki Kobayashi 0001, Akinori Yonezawa	Combining type-based analysis and model checking for finding counterexamples against non-interference.	PLAS	2006	DBLP DOI BibTeX RDF	model checking, type system, non-interference
1	Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient type inference for secure information flow.	PLAS	2006	DBLP DOI BibTeX RDF	security, algorithm, information flow, time complexity, type inference
1	Vugranam C. Sreedhar, Steve Zdancewic (eds.)	Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006	PLAS	2006	DBLP BibTeX RDF
1	Jeff Polakow, Christian Skalka	Specifying distributed trust management in LolliMon.	PLAS	2006	DBLP DOI BibTeX RDF	trust management logic, distributed authorization
1	Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh	Applying flow-sensitive CQUAL to verify MINIX authorization check placement.	PLAS	2006	DBLP DOI BibTeX RDF	CQUAL, static analysis, type qualifiers, MINIX
1	Scott F. Smith 0001, Mark Thober	Refactoring programs to secure information flows.	PLAS	2006	DBLP DOI BibTeX RDF	refactoring, information flow, slicing, declassification
1	Michael Yanguo Liu, Issa Traoré	Empirical relation between coupling and attackability in software systems: : a case study on DOS.	PLAS	2006	DBLP DOI BibTeX RDF	software quality, software metrics, denial of service, attackability, security engineering
1	Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider	Certified In-lined Reference Monitoring on .NET.	PLAS	2006	DBLP DOI BibTeX RDF	in-lined reference monitoring, program rewriting, reference monitors, security automata, execution monitoring
1	Boniface Hicks, Dave King 0002, Patrick D. McDaniel, Michael Hicks 0001	Trusted declassification: : high-level policy for a security-typed language.	PLAS	2006	DBLP DOI BibTeX RDF	noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification
1	Xiaoqi Lu, Scott F. Smith 0001	A microkernel virtual machine: : building security with clear interfaces.	PLAS	2006	DBLP DOI BibTeX RDF	Java, access control, frameworks, virtual machine, interface, kernel, language-based security
1	David A. Wagner 0001	Object capabilities for security.	PLAS	2006	DBLP DOI BibTeX RDF

Publications at "PLAS"( http://dblp.L3S.de/Venues/PLAS )