新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scavadini library [169 articles]

最近 scavadini さんのライブラリ .
  • Localized delimited release: combining the what and where dimensions of information release
    (2007), pp. 53-60.
    by Aslan Askarov, Andrei Sabelfeld
    posted to declassification information_flow by scavadini on 2008-02-04 16:12:54 as **
  • Controlling the What and Where of Declassification in Language-Based Security
    Programming Languages and Systems (2007), pp. 141-156.
    by Heiko Mantel, Alexander Reinhard
    posted to declassification information_flow by scavadini on 2008-02-04 16:11:01 as **
  • On Declassification and the Non-Disclosure Policy
    (2005), pp. 226-240.
    by Ana A Matos, Gerard Boudol
    posted to declassification information_flow by scavadini on 2008-01-24 13:38:12 as read
  • Electronic voting systems: the good, the bad, and the stupid
    Queue, Vol. 2, No. 7. (October 2004), pp. 20-26.
    by Barbara Simons
    posted to voto_electronico by scavadini on 2008-01-07 10:11:57 as **
  • Voter verified ballots: the backbone of democracy
    SIGCAS Comput. Soc., Vol. 36, No. 4. (December 2006)
    by Alexa Linton
    posted to voto_electronico by scavadini on 2008-01-07 09:13:08 as **
  • Privacy issues in an electronic voting machine
    (2004), pp. 33-34.
    by Arthur M Keller, David Mertz, Joseph L Hall, Arnold Urken
    posted to voto_electronico by scavadini on 2008-01-07 09:12:05 as **
  • A type system equivalent to static single assignment
    (2006), pp. 249-260.
    by Yutaka Matsuno, Atsushi Ohori
    posted to no-tag by scavadini on 2007-11-09 14:38:33 as ** along with 1 person tesissvc
  • Democracy's downfall: is the computing technology for electronic voting secure and reliable enough for national use?
    SIGCAS Comput. Soc., Vol. 36, No. 4. (December 2006)
    by Joshua Gaines
    posted to voto_electronico by scavadini on 2007-11-09 09:39:00 as **
  • Risks of e-voting
    Commun. ACM, Vol. 50, No. 11. (November 2007), pp. 120-120.
    by Matt Bishop, David Wagner
    posted to voto_electronico by scavadini on 2007-11-07 15:11:15 as read along with 1 person barbarao
  • The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages
    (1990), pp. 257-271.
    by Karl J Ottenstein, Robert A Ballance, Arthur B Maccabe
    posted to ssa by scavadini on 2007-11-06 12:31:26 as **
  • Construction of thinned gated single-assignment form
    Languages and Compilers for Parallel Computing (1994), pp. 477-499.
    by Paul Havlak
    posted to ssa by scavadini on 2007-11-06 12:23:39 as ** along with 1 person tesissvc
  • Hiding program slices for software security
    (2003), pp. 325-336.
    by Xiangyu Zhang, Rajiv Gupta
    posted to security slicing by scavadini on 2007-10-29 13:28:36 as ** along with 1 person tesissvc
  • Barrier Slicing for Remote Software Trusting
    (2007), pp. 27-36.
    by Mariano Ceccato, Mila D Preda, Jasvir Nagra, Christian Collberg, Paolo Tonella
    posted to slicing by scavadini on 2007-10-29 13:16:46 as ** along with 1 person tesissvc
  • Dependence-based program analysis
    (1993), pp. 78-89.
    by Richard Johnson, Keshav Pingali
    posted to no-tag by scavadini on 2007-10-26 13:05:17 as *** along with 1 person tesissvc
  • Interprocedural control dependence
    ACM Trans. Softw. Eng. Methodol., Vol. 10, No. 2. (April 2001), pp. 209-254.
    by Saurabh Sinha, Mary J Harrold, Gregg Rothermel
    posted to no-tag by scavadini on 2007-10-26 12:55:42 as *** along with 1 person tesissvc
  • A formal, language-independent, and compositional approach to interprocedural control dependence analysis
    (2000)
    by Judith A Stafford
    posted to book dependence by scavadini on 2007-10-26 12:47:53 as *** along with 1 person tesissvc
  • Using dynamic information flow analysis to detect attacks against applications
    (2005), pp. 1-7.
    by Wes Masri, Andy Podgurski
    posted to information_flow tool by scavadini on 2007-10-25 18:08:02 as *** along with 1 person tesissvc
  • The significance of program dependences for software testing, debugging, and maintenance
    (1989)
    by Andy H Podgurski
    posted to no-tag by scavadini on 2007-10-25 18:07:21 as ** along with 1 person tesissvc
  • An empirical study of the strength of information flows in programs
    (2006), pp. 73-80.
    by Wes Masri, Andy Podgurski
    posted to no-tag by scavadini on 2007-10-25 18:07:05 as ** along with 1 person tesissvc
  • A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance
    IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 965-979.
    by A Podgurski, LA Clarke
    posted to dependence by scavadini on 2007-10-25 17:59:23 as *** along with 1 person tesissvc
  • Static single assignment form for machine code
    (1999), pp. 204-214.
    by Allen Leung, Lal George
    posted to compilers by scavadini on 2007-10-24 12:16:21 as *** along with 1 person tesissvc
  • Removing left recursion from context-free grammars
    (2000), pp. 249-255.
    by Robert C Moore
    posted to grammars by scavadini on 2007-10-23 08:41:28 as ** along with 1 person bringert
  • A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
    J. ACM, Vol. 12, No. 1. (January 1965), pp. 42-52.
    by Sheila A Greibach
    posted to grammars by scavadini on 2007-10-23 08:21:11 as **
  • Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine. To appear in 23rd Annual Computer Security Applications Conference (ACSAC 2007), Miami Beach, Florida; December 2007
    by D Chandra, M Franz
    posted to information_flow java tool by scavadini on 2007-10-22 15:11:17 as **
  • Slicing concurrent Java programs using Indus and Kaveri
    International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 5. (6 October 2007), pp. 489-504.
    by Venkatesh Ranganath, John Hatcliff
    posted to no-tag by scavadini on 2007-10-18 09:17:01 as ** along with 1 person tesissvc
  • JFlow: practical mostly-static information flow control
    (1999), pp. 228-241.
    by Andrew C Myers
    posted to information_flow java security by scavadini on 2007-10-17 16:42:25 as ** along with 6 people mercutio plaugg schuh linekin lambdageek tesissvc
  • Java Virtual Machine Specification
    (1999)
    by Tim Lindholm, Frank Yellin
    posted to java by scavadini on 2007-10-17 09:34:03 as read along with 2 people bfraser tesissvc
  • A Certified Lightweight Non-interference Java Bytecode Verifier
    Programming Languages and Systems (2007), pp. 125-140.
    by Gilles Barthe, David Pichardie, Tamara Rezk
    posted to no-tag by scavadini on 2007-10-12 15:31:12 as **
  • La máquina virtual MiniMe: una herramienta visual para facilitar el aprendizaje de la generación de código objeto
    (October 2004)
    by Juan J Tamagnini, Salvador V Cavadini, Pablo L Berdaguer
    posted to bibtex-import by scavadini on 2007-10-11 08:50:34 as **
  • MiniMe: una máquina virtual visual
    Revista Nuevas Propuestas, No. 36. (December 2004)
    by Juan J Tamagnini, Salvador V Cavadini, Pablo L Berdaguer
    posted to bibtex-import by scavadini on 2007-10-11 08:47:51 as **
  • Identificación de tres subclases ambiguas de gramáticas libres de contexto
    Revista Nuevas Propuestas, No. 39. (June 2006), pp. 101-110.
    by Salvador V Cavadini, Diego A Cheda
    posted to bibtex-import by scavadini on 2007-10-11 08:43:47 as **
  • Program Slicing Based on Sentence Executability
    (October 2007)
    by Salvador Cavadini, Diego Cheda
    posted to bibtex-import by scavadini on 2007-10-11 08:40:40 as ** along with 1 person tesissvc
  • The Necessary Condition for Execution and its Use in Program Slicing
    (September 2007)
    by Salvador Cavadini, Diego Cheda
    posted to slicing by scavadini on 2007-10-11 08:36:45 as ** along with 1 person tesissvc
  • A new algorithm for regularizing one-letter context-free grammars
    Theoretical Computer Science, Vol. 306, No. 1-3. (5 September 2003), pp. 113-122.
    by Stefan Andrei, Salvador V Cavadini, Wei-Ngan Chin
    posted to grammar by scavadini on 2007-10-10 16:52:33 as **
  • Self-embedded context-free grammars with regular counterparts
    Acta Informatica, Vol. 40, No. 5. (1 March 2004), pp. 349-365.
    by Stefan Andrei, Wei-Ngan Chin, Salvadorvalerio Cavadini
    posted to grammar by scavadini on 2007-10-10 16:47:12 as read
  • Automaton-based Confidentiality Monitoring of Concurrent Programs
    Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE (2007), pp. 218-232.
    by Gurvan Le Guernic
    posted to no-tag by scavadini on 2007-10-10 12:34:17 as ** along with 1 person tesissvc
  • On flow-sensitive security types
    (2006), pp. 79-90.
    by Sebastian Hunt, David Sands
    posted to no-tag by scavadini on 2007-10-09 13:53:34 as ** along with 1 person tesissvc
  • Reducing loads and stores in stack architectures
    (2000)
    by T Vandrunen, A Hosking, J Palsberg
    posted to bibtex-import by scavadini on 2007-10-09 13:37:29 as ** along with 1 person tesissvc
  • EULER: a generalization of ALGOL, and its formal definition
    (01 April 1965)
    by Niklaus Wirth, Helmut Weber
    posted to bibtex-import by scavadini on 2007-10-05 12:48:52 as **
  • Syntactic Analysis and Operator Precedence
    J. ACM, Vol. 10, No. 3. (July 1963), pp. 316-333.
    by Robert W Floyd
    posted to grammar parsing by scavadini on 2007-10-05 12:37:17 as **
  • EULER: a generalization of ALGOL and it formal definition: Part 1
    Commun. ACM, Vol. 9, No. 1. (January 1966), pp. 13-25.
    by Niklaus Wirth, Helmut Weber
    posted to compilers grammar parsing by scavadini on 2007-10-05 12:29:30 as **
  • The inlined reference monitor approach to security policy enforcement
    (2004)
    by Ulfar Erlingsson
    posted to information_flow security by scavadini on 2007-10-03 12:35:35 as ** along with 1 person tesissvc
  • Mobile code security by Java bytecode instrumentation
    DARPA Information Survivability Conference & Exposition II, 2001. DISCEX '01. Proceedings, Vol. 2 (2001), pp. 27-40 vol.2.
    by A Chander, JC Mitchell, I Shin
    posted to java security by scavadini on 2007-10-02 14:59:41 as ** along with 1 person tesissvc
  • Java Bytecode Modification and Applet Security
    (1998)
    by I Shin, JC Mitchell
    posted to java security by scavadini on 2007-10-02 14:53:00 as ** along with 1 person tesissvc
  • Soot - a Java Optimization Framework
    (1999), pp. 125-135.
    by Raja V Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon, Phong Co
    posted to bibtex-import by scavadini on 2007-09-28 09:29:29 as ** along with 1 person tesissvc
  • The next 700 slicing criteria
    2 nd UK workshop on program comprehension (Durham University, UK, July 1996), M. Munro, Ed. (1996)
    by M Harman, S Danicic, Y Sivagurunathan, D Simpson
    posted to bibtex-import by scavadini on 2007-09-28 09:20:52 as ** along with 1 person tesissvc
  • Information Flow Control for Java Based on Path Conditions in Dependence Graphs
    (2006)
    by Christian Hammer, Jens Krinke, Gregor Snelting
    posted to bibtex-import by scavadini on 2007-09-26 14:09:24 as ** along with 1 person tesissvc
  • Flow Caml in a nutshell
    (2003), pp. 152-165.
    by V Simonet
    posted to bibtex-import by scavadini on 2007-09-26 14:07:23 as ** along with 1 person tesissvc
  • A Type-Based Approach to Program Security
    (1997), pp. 607-621.
    by Dennis M Volpano, Geoffrey Smith
    posted to information_flow by scavadini on 2007-09-26 13:51:30 as ** along with 2 people plaugg tesissvc
  • Non-interference for a JVM-like language
    (2005), pp. 103-112.
    by Gilles Barthe, Tamara Rezk
    posted to bibtex-import by scavadini on 2007-09-25 16:43:53 as ** along with 1 person tesissvc
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/scavadini

    Result page: 1 2 3 4 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.