Search results for "Language-based Security"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Isabella Mastroeni	On the Rôle of Abstract Non-interference in Language-Based Security.	APLAS	2005	DBLP DOI BibTeX RDF	Language-based Security, Non-Interference, Declassification
3	Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld	03411 Abstracts Collection - Language Based Security.	Language Based Security	2003	DBLP BibTeX RDF
3	Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld	03411 Final Report - Language Based Security.	Language Based Security	2003	DBLP BibTeX RDF
2	Marco Pistoia, Úlfar Erlingsson	Programming languages and program analysis for security: a three-year retrospective.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	security, program analysis, programming languages, language-based security
2	Anindya Banerjee, Heiko Mantel, David A. Naumann, Andrei Sabelfeld (eds.)	Language-Based Security, 5.-10. October 2003	Language-Based Security	2005	DBLP BibTeX RDF
2	Christian Skalka	Programming Languages and Systems Security.	IEEE Security & Privacy	2005	DBLP DOI BibTeX RDF	programming languages, language-based security, secure systems
2	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
2	Sebastian Hunt, Isabella Mastroeni	The PER Model of Abstract Non-interference.	SAS	2005	DBLP DOI BibTeX RDF	abstract interpretation, Information flow, language-based security, non-interference
2	Roberto Giacobazzi, Isabella Mastroeni	Abstract non-interference: parameterizing non-interference by abstract interpretation.	POPL	2004	DBLP DOI BibTeX RDF	abstract interpretation, language-based security, non-interference, abstract domains
2	Roberto Giacobazzi, Isabella Mastroeni	Proving Abstract Non-interference.	CSL	2004	DBLP DOI BibTeX RDF	abstract non-interference, verification, Abstract interpretation, language-based security
2	Rogardt Heldal, Fredrik Hultin	Bridging Model-Based and Language-Based Security.	ESORICS	2003	DBLP DOI BibTeX RDF
2	Fred B. Schneider	Language-Based Security: What's Needed and Why.	SAS	2001	DBLP DOI BibTeX RDF
2	Dexter Kozen	Language-Based Security.	MFCS	1999	DBLP DOI BibTeX RDF
1	Daniel Wasserrab	From formal semantics to verified slicing: a modular framework with applications in language based security.		2011	RDF
1	Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn	Modular Protections against Non-control Data Attacks.	CSF	2011	DBLP DOI BibTeX RDF	non-control data attack, control-flow integrity, frame rule, data isolation, data integrity, Hoare logic, language-based security
1	Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, Jasvir Nagra	Automated Analysis of Security-Critical JavaScript APIs.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	APIs, Javascript, Language-Based Security, Points-to Analysis
1	Jeffrey A. Vaughan, Stephen Chong	Inference of Expressive Declassification Policies.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	declassification policies, inference of security policies, information flow, language-based security
1	Wouter De Borger, Bart De Win, Bert Lagaisse, Wouter Joosen	A permission system for secure AOP.	AOSD	2010	DBLP DOI BibTeX RDF	execution history, permission system, aspect-oriented programming, language-based security
1	Niklas Broberg, David Sands	Paralocks: role-based information flow control and beyond.	POPL	2010	DBLP DOI BibTeX RDF	information flow, security policies, language based security
1	Sergio Maffeis, John C. Mitchell, Ankur Taly	Object Capabilities and Isolation of Untrusted Web Applications.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	Operational Semantics, JavaScript, Capabilities, Language-based Security
1	Tim Harris, Sasa Tomic, Adrián Cristal, Osman S. Unsal	Dynamic filtering: multi-purpose architecture support for language runtime systems.	ASPLOS	2010	DBLP DOI BibTeX RDF	garbage collection, transactional memory, runtime systems
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	Jaime Niño	An overview of programming language based security.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	access control, information flow, capability, type safety
1	Naoki Kobayashi	Higher-Order Program Verification and Language-Based Security.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Muhammad AboElFotoh, Thomas Dean, Ryan Mayor	An empirical evaluation of a language-based security testing technique.	CASCON	2009	DBLP DOI BibTeX RDF
1	Phu H. Phung, David Sands, Andrey Chudnov	Lightweight self-protecting JavaScript.	ASIACCS	2009	DBLP DOI BibTeX RDF	programming, JavaScript, language based security, inlined reference monitors
1	Fei Yan, Philip W. L. Fong	Efficient IRM enforcement of history-based access control policies.	ASIACCS	2009	DBLP DOI BibTeX RDF	distributed optimization protocol, history-based access control policies, language-based security, security automata, inlined reference monitors
1	Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre	Fibred Security Language.	Studia Logica	2009	DBLP DOI BibTeX RDF	Fibring, Access Control, Logic, Trust Management, Language-based Security
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	Bogdan Warinschi	Symbolic Methods for Provable Security.	ProvSec	2009	DBLP DOI BibTeX RDF
1	Andrew Myers	Guiding Distributed Systems Synthesis with Language-Based Security Policies.	FMOODS	2008	DBLP DOI BibTeX RDF
1	Michael Backes, Catalin Hritcu, Matteo Maffei	Type-checking zero-knowledge.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	type systems, language-based security, authorization policies, zero-knowledge protocols
1	Andreas Bauer 0002, Jan Jürjens	Security protocols, properties, and their monitoring.	SESS	2008	DBLP DOI BibTeX RDF	monitoring of history-based properties, temporal logic, security protocols, runtime verification, language-based security, security automata
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	Michael Backes, Catalin Hritcu, Matteo Maffei	Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.	CSF	2008	DBLP DOI BibTeX RDF	Electronic Voting Protocols, Language-based security, Applied Pi-calculus
1	Stephen Chong, Andrew C. Myers	End-to-End Enforcement of Erasure and Declassification.	CSF	2008	DBLP DOI BibTeX RDF	Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification
1	Marcus Völp	Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels.	ARES	2008	DBLP DOI BibTeX RDF	information flow, language-based security
1	Michael Backes, Matteo Maffei, Dominique Unruh	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	zero-knowledge, Language-based security, automated verification, applied pi-calculus
1	Nikhil Swamy, Brian J. Corcoran, Michael Hicks	Fable: A Language for Enforcing User-defined Security Policies.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verified enforcement, access control, information flow, provenance, Language-based security
1	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino	Semantics-Based Design for Secure Web Services.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	call-by-contract, Web services, static analysis, language-based security, system verification
1	Philip W. L. Fong	Discretionary capability confinement.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Scoping rule, Access control, Java Virtual Machine, Capability, Language-based security, Confinement
1	Amal Ahmed, Matthias Blume	Typed closure conversion preserves observational equivalence.	ICFP	2008	DBLP DOI BibTeX RDF	equivalence-preserving compilation, typed closure conversion, full abstraction, step-indexed logical relations
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	Cédric Fournet, Tamara Rezk	Cryptographically sound implementations for typed information-flow security.	POPL	2008	DBLP DOI BibTeX RDF	probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
1	Phu H. Phung, David Sands	Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming.	COMPSAC	2008	DBLP DOI BibTeX RDF	Security policy enforcement, vehicle software, middleware, Aspect-oriented programming, OSGi, reference monitors
1	Gilles Barthe, Salvador Cavadini, Tamara Rezk	Tractable Enforcement of Declassification Policies.	CSF	2008	DBLP DOI BibTeX RDF	type systems, declassification, information flow security
1	Fabio Massacci, Katsiaryna Naliuka	Towards Practical Security Monitors of UML Policies for Mobile Applications.	ARES	2008	DBLP DOI BibTeX RDF	runtime monitoring, policy languages, policy enforcement
1	Alexander Lux, Heiko Mantel	Who Can Declassify?.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Isabella Mastroeni	Transforming Abstract Interpretations by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
1	Heiko Mantel, Alexander Reinhard	Controlling the What and Where of Declassification in Language-Based Security.	ESOP	2007	DBLP DOI BibTeX RDF
1	Christian Skalka	Type safe dynamic linking for JVM access control.	PPDP	2007	DBLP DOI BibTeX RDF	static type analysis, language-based security, bytecode verification, dynamic linking
1	Nicoletta De Francesco, Luca Martini	Instruction-level security typing by abstract interpretation.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Abstract interpretation, Information flow, Language based security
1	Boris Köpf, Heiko Mantel	Transformational typing and unification for automatically correcting insecure programs.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Unification, Language-based security, Information flow control, Security type system
1	Stephen Tse, Steve Zdancewic	Run-time principals in information-flow type systems.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
1	Jeffrey A. Vaughan, Steve Zdancewic	A Cryptographic Decentralized Label Model.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Fred B. Schneider	Mapping the Security Landscape: A Role for Language Techniques.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi	Towards SOS Meta-Theory for Language-Based Security.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Huaqiang Wei, Jim Alves-Foss	Applying the layered decision model to the design of language-based security systems.	IRI	2006	DBLP BibTeX RDF
1	Xiaoqi Lu, Scott F. Smith	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	Mads Dam	Decidability and proof systems for language-based noninterference relations.	POPL	2006	DBLP DOI BibTeX RDF	intransitive noninterference, information flow, language-based security, noninterference, multi-level security
1	Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl	Embedding verifiable information flow analysis.	PST	2006	DBLP DOI BibTeX RDF	embedded systems, static analysis, information flow, confidentiality, language-based security, smart objects
1	Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong	Information-Flow Security for Interactive Programs.	CSFW	2006	DBLP DOI BibTeX RDF
1	Gilles Barthe, Tamara Rezk, David A. Naumann	Deriving an Information Flow Checker and Certifying Compiler for Java.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
1	Martín Abadi, Greg Morrisett, Andrei Sabelfeld	"Language-Based Security".	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
1	Guangrui Hu, Wantao Yu	Confined Migration: A Language Based Security Method for Mobile Computation.	PDPTA	2005	DBLP BibTeX RDF
1	Peng Li, Steve Zdancewic	Downgrading policies and relaxed noninterference.	POPL	2005	DBLP DOI BibTeX RDF	downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence
1	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	The open verifier framework for foundational verifiers.	TLDI	2005	DBLP DOI BibTeX RDF	language-based security, proof-carrying code, typed assembly language
1	Jay Ligatti, Lujo Bauer, David Walker	Edit automata: enforcement mechanisms for run-time security policies.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Run-time checking and monitoring, Classification of security policies, Language-based security, Security automata
1	Ana Almeida Matos, Gérard Boudol	On Declassification and the Non-Disclosure Policy.	CSFW	2005	DBLP DOI BibTeX RDF
1	Andrew D. Gordon, Alan Jeffrey	Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi, Isabella Mastroeni	Timed Abstract Non-interference.	FORMATS	2005	DBLP DOI BibTeX RDF	security, Abstract interpretation, non-interference, timing channels
1	Ana Almeida Matos	Non-disclosure for Distributed Mobile Code.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari	Stack inspection and secure program transformations.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Access control, Static analysis, Compiler optimizations, Language-based security
1	Andrew W. Appel	Social processes and proofs of theorems and programs, revisited.	PLDI	2004	DBLP DOI BibTeX RDF
1	Nathan Whitehead, Martín Abadi, George C. Necula	By Reason and Authority: A System for Authorization of Proof-Carrying Code.	CSFW	2004	DBLP DOI BibTeX RDF
1	Stephen Tse, Steve Zdancewic	Run-time Principals in Information-flow Type Systems.	IEEE Symposium on Security and Privacy	2004	DBLP DOI BibTeX RDF
1	Sudhakar Govindavajhala, Andrew W. Appel	Using Memory Errors to Attack a Virtual Machine.	IEEE Symposium on Security and Privacy	2003	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari	Security-Aware Program Transformations.	ICTCS	2003	DBLP DOI BibTeX RDF
1	Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen	Secure calling contexts for stack inspection.	PPDP	2002	DBLP DOI BibTeX RDF	constraints, language based security, linear temporal logic, static program analysis, stack inspection
1	Fred B. Schneider, J. Gregory Morrisett, Robert Harper	A Language-Based Approach to Security.	Informatics	2001	DBLP DOI BibTeX RDF
1	Úlfar Erlingsson, Fred B. Schneider	IRM Enforcement of Java Stack Inspection. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF	security, Java, language-based security, reference monitor, stack inspection