Smith, Scott F. - Department of Computer Science, Johns Hopkins University

• History Types and Verification Christian Skalka1
• Assemblages: Modules with Interfaces
• Diagrammatic Verification of Security Protocols Christian Skalka and Scott Smith
• Coqa: Concurrent Objects with Quantized Yu David Liu Xiaoqi Lu Scott F. Smith
• The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
• Pedigree Types Yu David Liu Scott F. Smith
• A Formal Framework for Component Deployment Yu David Liu Scott F. Smith
• Ensemble: A High Level Language for Sensor Yu David Liu
• Securing Timing Channels at Runtime Paritosh Shroff Scott F. Smith
• Refactoring Programs to Secure Information Flows Scott F. Smith and Mark Thober
• Static Use-Based Object Confinement Christian Skalka
• Static Enforcement of Security with Types Christian Skalka
• Polymorphic Constraint-Based Type Inference for TIEJUN WANG and SCOTT F. SMITH
• Type-Specialized Staged Programming with Process Separation Yu David Liu
• A Component Security Infrastructure Yu David Liu Scott F. Smith
• The Cell Project: Component Technology for the Internet
• A Secure Microkernel Virtual Machine Xiaoqi Lu Scott Smith
• Improving Usability of Information Flow Security in Java Scott F. Smith and Mark Thober
• Precise Constraint-Based Type Inference for Tiejun Wang and Scott F. Smith
• Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
• History Type Analysis Christian Skalka
• COQA: A CONCURRENT PROGRAMMING MODEL WITH UBIQUITOUS ATOMICITY
• Polyvariant Flow Analysis with Constrained Types Scott F. Smith and Tiejun Wang
• !"#$1 %&' (%)01& 2!3%02 14567859@ A8BCD9@ E9DF6G@DHIP
• Dynamic Dependency Monitoring to Secure Information Flow Paritosh Shroff Scott F. Smith Mark Thober
• Specification Diagrams for Actor Systems Scott F. Smith (scott@cs.jhu.edu)
• Modules with Interfaces for Dynamic Linking and Communication
• The Coverage of Operational Scott F. Smith
• Component Assemblies and Component Runtimes Yu David Liu Ran Rinat Scott F. Smith
• Specification Diagrams for Actor Systems Scott F. Smith
• The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
• Electronic Notes in Theoretical Computer Science 1(1995) URL: http://www.elsevier.nl/locate/entcs/volume1.html 22 pages
• Modular Internet Programming with Cells Ran Rinat and Scott Smith
• A Microkernel Virtual Machine: Building Security with Clear Xiaoqi Lu Scott F. Smith
• Improving Usability of Information Flow Security in Java Scott F. Smith Mark Thober
• The Cell Project: Component Technology for the Internet
• Subtyping Constrained Types Valery Trifonov and Scott Smith
• Dynamic Dependency Monitoring to Secure Information Flow Paritosh Shroff Scott F. Smith Mark Thober
• Programming Languages Version 0.7
• A Static Capability Tracking System Scott F. Smith and Mark Thober
• Diagrammatic Verification of Security Protocols Christian Skalka and Scott Smith
• Improving Usability of Information Flow Security in Java Scott F. Smith and Mark Thober
• Dynamic Dependency Monitoring to Secure Information Flow Paritosh Shroff Scott F. Smith Mark Thober
• The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
• Subtyping Constrained Types Valery Trifonov and Scott Smith
• Specification Diagrams for Actor Systems Scott F. Smith
• The Cell Project: Component Technology for the Internet
• END-TO-END INFORMATION FLOW SECURITY FOR JAVA Mark Andrew Thober
• A Component Security Infrastructure Yu David Liu Scott F. Smith
• !"#$1 %&' (%)01& 2!3%02 14567859@ A8BCD9@ E9DF6G@DHIP
• MS ID: IJIS0049 16 September 2004 13:18 CET
• Electronic Notes in Theoretical Computer Science 1(1995) URL: http://www.elsevier.nl/locate/entcs/volume1.html 22 pages
• AIOOL 2005 Preliminary Version A Type and Effect System for Flexible Abstract
• Principles of Programming Languages Version 0.7
• The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
• Polymorphic Constraint-Based Type Inference for TIEJUN WANG and SCOTT F. SMITH
• The Heuristic Theorem Prover: Yet another SMT Modulo Theorem Prover (Tool Paper)
• Static Enforcement of Security with Types Christian Skalka
• The Coverage of Operational Scott F. Smith
• A Secure Microkernel Virtual Machine Xiaoqi Lu Scott Smith
• Pedigree Types Yu David Liu Scott F. Smith
• Precise Constraint-Based Type Inference for Tiejun Wang and Scott F. Smith
• Type-Specialized Staged Programming with Process Separation Yu David Liu
• Electronic Notes in Theoretical Computer Science 75 (2003) URL: http://www.elsevier.nl/locate/entcs/volume75.html 20 pages
• History Effects and Verification Christian Skalka and Scott Smith
• Securing Data at Java IO Boundaries Scott F. Smith and Mark Thober
• Refactoring Programs to Secure Information Flows Scott F. Smith and Mark Thober
• Backstage Java Making a Difference in Metaprogramming
• A Microkernel Virtual Machine: Building Security with Clear Xiaoqi Lu Scott F. Smith
• Static Use-Based Object Confinement Christian Skalka
• Coqa: Concurrent Objects with Quantized Yu David Liu Xiaoqi Lu Scott F. Smith
• MyFamilyReunion --DesignFest Problem Aness Dhala, Sanhitha Seerapu, Vandana Sunkara
• The Cell Project: Component Technology for the Internet
• Specification Diagrams for Actor Systems Scott F. Smith (scott@cs.jhu.edu)
• Dynamic Dependency Monitoring to Secure Information Flow Paritosh Shroff Scott F. Smith Mark Thober
• Polyvariant Flow Analysis with Constrained Types Scott F. Smith and Tiejun Wang
• A Systematic Approach to Static Access Control Francois Pottier
• Modules with Interfaces for Dynamic Linking and Communication
• Improving Usability of Information Flow Security in Java Scott F. Smith Mark Thober
• Task Types for Pervasive Atomicity Aditya Kulkarni
• Ensemble: A High Level Language for Sensor Yu David Liu
• A Formal Framework for Component Deployment Yu David Liu Scott F. Smith
• Modular Internet Programming with Cells Ran Rinat and Scott Smith
• Dynamic Dependency Monitoring to Secure Information Flow Paritosh Shroff Scott F. Smith Mark Thober
• Dynamic Dependency Monitoring to Secure Information Flow Paritosh Shroff Scott F. Smith Mark Thober
• Assemblages: Modules with Interfaces
• Backstage Java Making a Difference in Metaprogramming
• Interaction-Based Programming with Classages Yu David Liu Scott F. Smith
• COQA: A CONCURRENT PROGRAMMING MODEL WITH UBIQUITOUS ATOMICITY
• A framework for describing recursive data structure topologies in Coq
• Component Assemblies and Component Runtimes Yu David Liu Ran Rinat Scott F. Smith
• Pagoda: A Dynamic Overlay Network for Routing, Data Management, and Multicasting
• Securing Timing Channels at Runtime Paritosh Shroff Scott F. Smith