ddemange's library 57 articles Export

	Principal type-schemes for functional programs [My Copy] In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212. by Luis Damas, Robin Milner posted to no-tag by ddemange on 2009-10-23 01:23:33 as along with 9 people mattmight keigoi spl draganigajic tautologico gkuan shimomura pedagand zuleger
	Dependent Types for Low-Level Programming [My Copy] Programming Languages and Systems (2007), pp. 520-535. by Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George Necula posted to no-tag by ddemange on 2009-10-23 01:22:40 as along with 4 people HailunTan ama08r jkominek pedagand
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted to no-tag by ddemange on 2009-10-23 01:22:28 as along with 31 people and 4 groups ama08r pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
	Lisp: Good News, Bad News, How to Win Big [My Copy] (JanuaryMarch~ 1994) by Richard P. Gabriel posted to no-tag by ddemange on 2009-10-23 01:22:12 as along with 5 people draganigajic hamish bfraser brothers pedagand
	A Type-Based Approach to Program Security [My Copy] In TAPSOFT '97: Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (1997), pp. 607-621. by Dennis M. Volpano, Geoffrey Smith posted to no-tag by ddemange on 2009-10-23 01:20:57 as along with 3 people plaugg scavadini tesissvc
	Advanced Symbolic Analysis for Compilers [My Copy] (2003) by Thomas Fahringer, Bernhard Scholz posted to no-tag by ddemange on 2009-10-23 01:20:31 as along with 2 people scavadini tesissvc
	Type and Effect Systems [My Copy] In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) (1999), pp. 114-136. by Flemming Nielson, Hanne R. Nielson posted to no-tag by ddemange on 2009-10-23 01:19:34 as along with 2 people ama08r pedagand
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to no-tag by ddemange on 2009-10-23 01:18:15 as along with 7 people and 1 group pedagand dimvar robertjohnsimmons robotact alec AndreasSchropp jonathlela ConcertRG
	Conceptual Mathematics: A First Introduction to Categories [My Copy] (28 November 1997) by F. William Lawvere, Stephen H. Schanuel posted to no-tag by ddemange on 2009-10-23 01:17:52 as along with 9 people and 1 group seno michaelbanks pedagand msakai bonotake NitinCR rgb kaqui incognito pileWorks
	A provenly correct translation of Fickle into Java [My Copy] ACM Trans. Program. Lang. Syst., Vol. 29, No. 2. (2007), 13. by D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, E. Zucca posted to type-system translation semantics by ddemange on 2009-09-20 12:08:10 as
	Formal Translation of Bytecode into BoogiePL [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 190, No. 1. (2007), pp. 35-50. by Hermann Lehner, Peter Müller posted to transformation soundness bytecode by ddemange on 2009-09-20 12:03:29 as along with 1 person fvogels
	Extending Operational Semantics of the Java Bytecode [My Copy] Trustworthy Global Computing (2008), pp. 57-72. by Patryk Czarnik, Aleksy Schubert posted to semantics java bytecode by ddemange on 2009-09-20 11:50:24 as
	Improving the Official Specification of Java Bytecode Verification [My Copy] (2001) by Alessandro Coglio posted to bytecode initialization subroutines verifier by ddemange on 2009-05-18 17:48:24 as
	The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code [My Copy] In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318. by Atsushi Ohori posted to assembly code curry-howard logic program proof transformation by ddemange on 2009-04-10 14:08:26 as along with 2 people noam_zeilberger jespera
	Proof-Directed De-compilation of Low-Level Code [My Copy] In ESOP '01: Proceedings of the 10th European Symposium on Programming Languages and Systems (2001), pp. 352-366. by Shin Y. Katsumata, Atsushi Ohori posted to abstract analysis curry-howard decompilation denotational program proof semantics by ddemange on 2009-04-10 14:06:52 as
	Java Bytecode Verification: Algorithms and Formalizations [My Copy] J. Autom. Reason., Vol. 30, No. 3-4. (2003), pp. 235-269. by Xavier Leroy posted to abstract analysis bytecode dataflow interpretation java machine subroutines verification virtual by ddemange on 2009-04-10 14:05:02 as
	Dynamic optimization through the use of automatic runtime specialization [My Copy] M.eng., Massachussetts Institute of Technology (1999) by John Whaley, John Whaley posted to compiler dynamic java optimization program transformation by ddemange on 2009-04-10 14:04:08 as
	The Jalapeño dynamic optimizing compiler for Java [My Copy] In JAVA '99: Proceedings of the ACM 1999 conference on Java Grande (1999), pp. 129-141. by Michael G. Burke, Jong-Deok Choi, Stephen Fink, et al.David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinivasan, John Whaley posted to compiler dynamic java optimization program transformation by ddemange on 2009-04-10 14:02:43 as along with 2 people and 1 group guillonc cruediger CompsSTMicro
	Decompiling Java Bytecode: Problems, Traps and Pitfalls [My Copy] In CC '02: Proceedings of the 11th International Conference on Compiler Construction (2002), pp. 111-127. by Jerome Miecznikowski, Laurie J. Hendren posted to bytecode decompilation initialization java object by ddemange on 2009-04-10 13:58:31 as
	Efficient Inference of Static Types for Java Bytecode [My Copy] Static Analysis (2000), pp. 143-155. by Etienne Gagnon, Laurie Hendren, Guillaume Marceau posted to analysis bytecode java static types by ddemange on 2009-04-10 13:56:44 as
	Harissa: A flexible and efficient Java environment mixing bytecode and compiled code [My Copy] In In Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems (1997), pp. 1-20. by Gilles Muller, Fabrice Bellard, Charles Consel posted to bytecode c compiler java jit off-line by ddemange on 2009-04-10 13:54:14 as
	Soot - a Java bytecode optimization framework [My Copy] In CASCON '99: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research (1999), 13. by Raja V. Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, Vijay Sundaresan posted to bytecode compilation optimization program transformation by ddemange on 2009-04-10 13:52:21 as
	Systematic design of program transformation frameworks by abstract interpretation [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 178-190. by Patrick Cousot, Radhia Cousot posted to abstract interpretation program transformation by ddemange on 2009-04-10 13:50:52 as along with 2 people robotact bec
	On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis [My Copy] Compiler Construction (2008), pp. 197-212. by Francesco Logozzo, Manuel Fähndrich posted to analysis bytecode code completeness source static by ddemange on 2009-04-10 13:46:53 as
	Verified Java Bytecode Verification [My Copy] (2003) by Gerwin Klein posted to bytecode initialization object proving theorem verification by ddemange on 2009-04-10 13:45:16 as
	A type system for object initialization in the Java bytecode language [My Copy] ACM Trans. Program. Lang. Syst., Vol. 21, No. 6. (1999), pp. 1196-1250. by Stephen N. Freund, John C. Mitchell posted to bytecode checking initialization java languages object type by ddemange on 2009-04-10 13:33:54 as
	Class analyses as abstract interpretations of trace semantics [My Copy] ACM Trans. Program. Lang. Syst., Vol. 25, No. 5. (2003), pp. 578-630. by Fausto Spoto, Thomas Jensen posted to abstract analysis class denotational interpretation semantics by ddemange on 2009-04-10 13:29:12 as
	A formally verified compiler back-end [My Copy] (12 Feb 2009) by Xavier Leroy posted to compiler coq formal methods optimizations preservation program proof prover semantic theorem transformations verification by ddemange on 2009-04-10 13:28:08 as along with 2 people jrw jleny
	Proof-carrying code from certified abstract interpretation and fixpoint compression [My Copy] Theor. Comput. Sci., Vol. 364, No. 3. (November 2006), pp. 273-291. by Frédéric Besson, Thomas Jensen, David Pichardie posted to abstract analysis bytecode computer data flow interpretation java logic program proving security theorem by ddemange on 2009-04-10 13:25:46 as along with 1 person dhein1030
	A Type System for the Java Bytecode Language and Verifier [My Copy] J. Autom. Reason., Vol. 30, No. 3-4. (2003), pp. 271-321. by Stephen N. Freund, John C. Mitchell posted to bytecode java machine systems type verification virtual by ddemange on 2009-04-10 13:24:35 as
	Certification of compiled assembly code by invariant translation [My Copy] Int. J. Softw. Tools Technol. Transf., Vol. 6, No. 1. (2004), pp. 15-37. by Xavier Rival posted to abstract analysis certified compilation interpretation program static by ddemange on 2009-04-10 13:22:49 as
	Krakatoa: decompilation in java (dose bytecode reveal source?) [My Copy] In COOTS'97: Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) (1997), pp. 14-14. by Todd A. Proebsting, Scott A. Watterson posted to algorithm bytecode decompilation by ddemange on 2009-04-10 13:21:01 as
	A tutorial on (co)algebras and (co)induction [My Copy] EATCS Bulletin, Vol. 62 (1997), pp. 62-222. by Bart Jacobs, Jan Rutten posted to algebra co-algebra co-induction induction by ddemange on 2009-04-10 13:18:17 as along with 6 people dimvar ama08r robotact fvogels draganigajic pedagand
	Formal Verification of a Java Compiler in Isabelle [My Copy] In CADE-18: Proceedings of the 18th International Conference on Automated Deduction (2002), pp. 63-77. by Martin Strecker posted to bytecode compiler correctness verification by ddemange on 2009-04-10 13:16:12 as along with 1 person pedagand
	On-Card Bytecode Verification for Java Card [My Copy] In E-SMART '01: Proceedings of the International Conference on Research in Smart Cards (2001), pp. 150-164. by Xavier Leroy posted to bytecode transformation verification by ddemange on 2009-04-10 13:14:31 as
	Secure Introduction of One-Way Functions [My Copy] In CSFW '00: Proceedings of the 13th IEEE workshop on Computer Security Foundations (2000), 246. by Dennis Volpano posted to flow information measure noninterference one-way security type-system by ddemange on 2009-03-30 22:39:14 as
	Gradual Release: Unifying Declassification, Encryption and Key Release Policies [My Copy] In SP '07: Proceedings of the 2007 IEEE Symposium on Security and Privacy (2007), pp. 207-221. by Aslan Askarov, Andrei Sabelfeld posted to cryptography flow information noninterference security type-system by ddemange on 2009-03-30 22:37:15 as
	A lattice model of secure information flow [My Copy] Commun. ACM, Vol. 19, No. 5. (May 1976), pp. 236-243. by Dorothy E. Denning posted to certification class flow information lattice program protection security by ddemange on 2009-03-30 22:35:22 as along with 7 people hatchi cormacflanagan V scavadini jfischer tesissvc pedagand
	A New Type System for Secure Information Flow [My Copy] Computer Security Foundations Workshop, IEEE, Vol. 0 (2001), 0115. by Geoffrey Smith posted to flow information noninterference security type-system by ddemange on 2009-03-30 22:33:18 as
	Language-based information-flow security [My Copy] Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 5-19. by A. Sabelfeld, A. C. Myers posted to language-based non-interference noninterference security type-system by ddemange on 2009-03-30 22:29:54 as along with 2 people dhein1030 christiand
	Abstract non-interference: parameterizing non-interference by abstract interpretation [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 186-197. by Roberto Giacobazzi, Isabella Mastroeni posted to abstract domains interpretation language-based non-interference security by ddemange on 2009-03-30 22:27:30 as along with 2 people scavadini tesissvc
	Information-Flow Security for Interactive Programs [My Copy] In CSFW '06: Proceedings of the 19th IEEE workshop on Computer Security Foundations (2006), pp. 190-201. by Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong posted to flow information interaction language-based sec type-system by ddemange on 2009-03-30 22:25:50 as
	Eliminating Covert Flows with Minimum Typings [My Copy] In CSFW '97: Proceedings of the 10th IEEE workshop on Computer Security Foundations (1997), 156. by Dennis Volpano, Geoffrey Smith posted to channel covert flow information type-system by ddemange on 2009-03-30 22:22:51 as
	Noninterference for concurrent programs and thread systems [My Copy] Theor. Comput. Sci., Vol. 281, No. 1-2. (2002), pp. 109-130. by Gérard Boudol, Ilaria Castellani posted to concurrent flow information noninterference type-system by ddemange on 2009-03-30 22:20:59 as
	A sound type system for secure flow analysis [My Copy] J. Comput. Secur., Vol. 4, No. 2-3. (1996), pp. 167-187. by Dennis Volpano, Cynthia Irvine, Geoffrey Smith posted to flow information program proofs security soundness systems type by ddemange on 2009-03-30 22:18:58 as along with 1 person michaelbanks
	Security models and information flow [My Copy] Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on In Research in Security and Privacy, 1990. Proceedings., 1990 IEEE Computer Society Symposium on (1990), pp. 180-187. by J. Mclean posted to non-interference noninterference security by ddemange on 2009-03-30 22:17:16 as along with 2 people maelorin viveee
	Information flow analysis in logical form [My Copy] In In SAS, LNCS 3148 (2004), pp. 100-115. by Torben Amtoft, Anindya Banerjee posted to analysis flow hoare information logic noninterference static by ddemange on 2009-03-30 22:15:41 as
	Cryptographically-masked flows [My Copy] Theor. Comput. Sci., Vol. 402, No. 2-3. (2008), pp. 82-101. by Aslan Askarov, Daniel Hedin, Andrei Sabelfeld posted to cryptography flow information language-based noninterference security systems type by ddemange on 2009-03-30 22:11:46 as
	On flow-sensitive security types [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2006), pp. 79-90. by Sebastian Hunt, David Sands posted to analysis flow flow-sensitivity information non-interference static systems type by ddemange on 2009-03-30 22:06:52 as along with 2 people scavadini tesissvc
	Assessing security threats of looping constructs [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 225-235. by Pasquale Malacaria posted to channel covert information language security semantics theory by ddemange on 2009-03-30 22:05:24 as along with 1 person and 1 group ama08r ConcertRG

Note: You may cite this page as: http://www.citeulike.org/user/ddemange

Result page: 1 2 Next

bytecode	16
flow	14
information	14
program	11
security	11
java	10
noninterference	10
analysis	9
type-system	8
abstract	7
interpretation	7
transformation	7
semantics	6
type	6
verification	6
compiler	5
language-based	5
static	5
initialization	4
non-interference	4
proof	4
systems	4
decompilation	3
logic	3
object	3
optimization	3
theorem	3
channel	2
class	2
code	2
compilation	2
correctness	2
covert	2
cryptography	2
curry-howard	2
denotational	2
dynamic	2
language	2
machine	2
proving	2
soundness	2
subroutines	2
virtual	2
algebra	1
algorithm	1
algorithms	1
and	1
assembly	1
axiomatic	1
c	1
call-by-value	1
certification	1
certified	1
checking	1
co-algebra	1
co-induction	1
completeness	1
computer	1
concurrent	1
coq	1
data	1
dataflow	1
domains	1
erasure	1
flow-sensitivity	1
formal	1
framing	1
functional	1
hoare	1
induction	1
interaction	1
jit	1
languages	1
lattice	1
measure	1
methods	1
monadic	1
of	1
off-line	1
one-way	1
optimizations	1
partial	1
preservation	1
probability	1
proofs	1
protection	1
prover	1
randomized	1
sec	1
semantic	1
source	1
system	1
theory	1
total	1
transformations	1
translation	1
types	1
verifier	1

ddemange's library 57 articles Export

ddemange's tags