Search results for "Steve Zdancewic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Peter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic	Dependent interoperability.	PLPV	2012	DBLP DOI BibTeX RDF
1	Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic	Formalizing the LLVM intermediate representation for verified program transformations.	POPL	2012	DBLP DOI BibTeX RDF
1	Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic	Generative type abstraction and type-level computation.	POPL	2011	DBLP DOI BibTeX RDF
1	Peng Li, Steve Zdancewic	Arrows for secure information flow.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
1	Karl Mazurak, Steve Zdancewic	Lolliproc: to concurrency from classical linear logic via curry-howard and control.	ICFP	2010	DBLP DOI BibTeX RDF
1	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
1	Jianzhou Zhao, Qi Zhang, Steve Zdancewic	Relational Parametricity for a Polymorphic Linear Lambda Calculus.	APLAS	2010	DBLP DOI BibTeX RDF
1	Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic	An overview of the Oregon programming languages summer school.	SIGPLAN Notices	2009	DBLP DOI BibTeX RDF
1	Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic	Strong and Weak Policy Relations.	POLICY	2009	DBLP DOI BibTeX RDF
1	Limin Jia, 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	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
1	J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic	Updatable Security Views.	CSF	2009	DBLP DOI BibTeX RDF	Security views, integrity, information flow, confidentiality, view update, lenses, regular types
1	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic	Reactive noninterference.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	web applications, information flow, web browsers, noninterference, reactive programming
1	Pierpaolo Degano, Ralf Küsters, Luca Viganò, Steve Zdancewic	Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).	Inf. Comput.	2008	DBLP DOI BibTeX RDF
1	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic	Hardbound: architectural support for spatial safety of the C programming language.	ASPLOS	2008	DBLP DOI BibTeX RDF	spatial memory safety, C programming language
1	Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic	Evidence-Based Audit.	CSF	2008	DBLP DOI BibTeX RDF	Access control, Logic, Audit, Computer Languages
1	Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic	AURA: a programming language for authorization and audit.	ICFP	2008	DBLP DOI BibTeX RDF	access control, type systems, audit, authorization logic
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	Peng Li, Steve Zdancewic	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives.	PLDI	2007	DBLP DOI BibTeX RDF	scalability, networking, concurrency, programming, implementation, haskell, event, thread, monad
1	Steve Zdancewic	Application-level concurrency: combining events and treads: invited talk.	DAMP	2007	DBLP DOI BibTeX RDF
1	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic	Enforcing Robust Declassification and Qualified Robustness.	Journal of Computer Security	2006	DBLP BibTeX RDF
1	Jay Ligatti, David Walker, Steve Zdancewic	A type-theoretic interpretation of pointcuts and advice.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
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	Rajeev Alur, Pavol Cerný, Steve Zdancewic	Preserving Secrecy Under Refinement.	ICALP	2006	DBLP DOI BibTeX RDF
1	Peng Li, Steve Zdancewic	Encoding Information Flow in Haskell.	CSFW	2006	DBLP DOI BibTeX RDF
1	Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic	Managing Policy Updates in Security-Typed Languages.	CSFW	2006	DBLP DOI 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	Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic	It Is Time to Mechanize Programming Language Metatheory.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Peng Li, Steve Zdancewic	Practical Information-flow Control in Web-Based Information Systems.	CSFW	2005	DBLP DOI BibTeX RDF
1	Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic	Mechanized Metatheory for the Masses: The PoplMark Challenge.	TPHOLs	2005	DBLP DOI BibTeX RDF
1	Stephen Tse, Steve Zdancewic	A Design for a Security-Typed Language with Certificate-Based Declassification.	ESOP	2005	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	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic	Enforcing Robust Declassification.	CSFW	2004	DBLP DOI BibTeX RDF
1	Stephen Tse, Steve Zdancewic	Translating dependency into parametricity.	ICFP	2004	DBLP DOI BibTeX RDF	DCC, protection contexts, security, dependency, Haskell, information flow, translation, polymorphism, lambda calculus, monads, parametricity, noninterference, logical relations
1	Peng Li, Steve Zdancewic	Advanced control flow in Java card programming.	LCTES	2004	DBLP DOI BibTeX RDF	trampolined style, smart card, continuation, control flow, Java card, CPS
1	David Walker, Steve Zdancewic, Jay Ligatti	A theory of aspects.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
1	Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic	Formalizing Java-MaC.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic	Using Replication and Partitioning to Build Secure Distributed Systems.	IEEE Symposium on Security and Privacy	2003	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Observational Determinism for Concurrent Program Security.	CSFW	2003	DBLP DOI BibTeX RDF
1	David Walker, Steve Zdancewic, Jay Ligatti	A theory of aspects.	ICFP	2003	DBLP DOI BibTeX RDF	aspect-oriented programming, operational semantics, aspects, type theory
1	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Secure program partitioning.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	mutual distrust, distributed systems, integrity, type systems, security policies, Confidentiality, secrecy, declassification, downgrading
1	Steve Zdancewic, Andrew C. Myers	Secure Information Flow via Linear Continuations.	Higher-Order and Symbolic Computation	2002	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Untrusted Hosts and Confidentiality: Secure Program Partitioning.	SOSP	2001	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Robust Declassification. (PDF / PS)	CSFW	2001	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Secure Information Flow and CPS.	ESOP	2001	DBLP DOI BibTeX RDF
1	Dan Grossman, J. Gregory Morrisett, Steve Zdancewic	Syntactic type abstraction.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	proof techniques, syntactic proofs, type abstraction, operational semantics, parametricity
1	Steve Zdancewic, Dan Grossman, J. Gregory Morrisett	Principals in Programming Languages: A Syntactic Proof Technique.	ICFP	1999	DBLP DOI BibTeX RDF

Publications of "Steve Zdancewic" ( http://dblp.L3S.de/Authors/Steve_Zdancewic )