Smith, Geoffrey - School of Computer Science, Florida International University

Advanced Search

Smith, Geoffrey - School of Computer Science, Florida International University

Language Issues in Mobile Program Security Dennis Volpano1
Managing Security Policies in a Distributed Environment Using eXtensible Markup Language (XML)*
Inductive Bases and their Application to Searches for Minimal Unary NFAs
Calculating Bounds on Information Leakage Using Two-Bit Patterns
Secure Information Flow for Distributed Systems Rafael Alpizar and Geoffrey Smith
Lenient Array Operations for Practical Secure Information Flow Zhenyue Deng Geoffrey Smith
POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND
Journal of Computer Security 14 (2006) 591623 591 Improved typings for probabilistic noninterference
Secure Information Flow in a Multi-threaded Imperative Language Geoffrey Smith
A Sound Polymorphic Type System for a Dialect of C Geoffrey Smith
Computing the Leakage of Information-Hiding Systems Miguel E. Andres1
Type Inference and Informative Error Reporting for Secure Information Flow
Verifying Secrets and Relative Secrecy Dennis Volpano Geoffrey Smith
On the Foundations of Quantitative Information Flow Geoffrey Smith
Adversaries and Information Leaks Geoffrey Smith
Fast Probabilistic Simulation, Nontermination, and Secure Information Flow
Principles of Secure Information Flow Analysis Geoffrey Smith
SecureInformationFlowAnalysis: AScienceofHacking?
Probabilistic Noninterference through Weak Probabilistic Bisimulation Geoffrey Smith
A New Type System for Secure Information Flow Geoffrey Smith
Probabilistic Noninterference in a Concurrent Language Dennis Volpano
Eliminating Covert Flows with Minimum Typings Dennis Volpano
A Type-Based Approach to Program Security Dennis Volpano1
Journal of Computer Security draft printout, (17 Sep 2009), 120 A SOUND TYPE SYSTEM FOR SECURE FLOW
Ibas: A Tool for Finding Minimal Unary NFAs Daniel Cazalis and Geoffrey Smith
Polymorphic Typing of Variables and References GEOFFREY SMITH
A Type Soundness Proof for Variables in LCF ML Dennis Volpano
Principal Type Schemes for Functional Programs with Overloading and Subtyping
Secure Information Flow with Random Assignment and Geoffrey Smith Rafael Alpizar
Min-Entropy Leakage of Channels in Cascade Barbara Espinoza and Geoffrey Smith
Quantifying Information Flow Using Min-Entropy (Invited Paper)
Nontermination and Secure Information Flow Geoffrey Smith and Rafael Alpizar