Jim Alves-Foss

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 14

Top Topics

Android Application

Assessment Process

Cyber Infrastructure

Grand Challenge

Top Venues

IEEE Secur. Priv.

Publications

Mina Soltani Siapoush, Jim Alves-Foss
Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? IEEE Access 11 (2023)
Jim Alves-Foss, Aditi Pokharel, Ronisha Shigdel, Jia Song
Calibrating Cybersecurity Experiments: Evaluating Coverage Analysis for Fuzzing Benchmarks. SERA (2023)
Jim Alves-Foss, Varsha Venugopal
The Inconvenient Truths of Ground Truth for Binary Analysis. CoRR (2022)
Ananth A. Jillepalli, Daniel Conte de Leon, Jim Alves-Foss, Clinton L. Jeffery, Frederick T. Sheldon
A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure. IEEE Access 10 (2022)
Jim Alves-Foss, Jia Song
Function boundary detection in stripped binaries. ACSAC (2019)
Jim Alves-Foss
Percentages, Probabilities and Professions of Performance. CSET @ USENIX Security Symposium (2019)
Varsha Venugopal, Jim Alves-Foss, Sandeep Gogineni Ravindrababu
Use of an SDN Switch in Support of NIST ICS Security Recommendations and Least Privilege Networking. ICSS (2019)
Ananth A. Jillepalli, Daniel Conte de Leon, Mohammad Ashrafuzzaman, Yacine Chakhchoukh, Brian K. Johnson, Frederick T. Sheldon, Jim Alves-Foss, Predrag T. Tosic, Michael A. Haney
HESTIA: Adversarial Modeling and Risk Assessment for CPCS. IWCMC (2018)
Ananth A. Jillepalli, Daniel Conte de Leon, Brian K. Johnson, Yacine Chakhchoukh, Ibukun A. Oyewumi, Mohammad Ashrafuzzaman, Frederick T. Sheldon, Jim Alves-Foss, Michael A. Haney
METICS: A Holistic Cyber Physical System Model for IEEE 14-bus Power System Security. MALWARE (2018)
Ananth A. Jillepalli, Daniel Conte de Leon, Stuart Steiner, Jim Alves-Foss
Analysis of Web Browser Security Configuration Options. KSII Trans. Internet Inf. Syst. 12 (12) (2018)
Stuart Steiner, Daniel Conte de Leon, Jim Alves-Foss
A Structured Analysis of SQL Injection Runtime Mitigation Techniques. HICSS (2017)
Lawrence Kerr, Jim Alves-Foss
Combining Mandatory and Attribute-Based Access Control. HICSS (2016)
Jia Song, Jim Alves-Foss
The DARPA Cyber Grand Challenge: A Competitor's Perspective, Part 2. IEEE Secur. Priv. 14 (1) (2016)
Xia Yang, Peng Shi, Haiyong Sun, Wenxuan Zheng, Jim Alves-Foss
A Fast Boot, Fast Shutdown Technique for Android OS Devices. Computer 49 (7) (2016)
Jim Alves-Foss, Jia Song, A. Scott Amack, Lawrence Kerr, Stuart Steiner
Evaluating the Use of Security Tags in Security Policy Enforcement Mechanisms. HICSS (2015)
Jia Song, Jim Alves-Foss
The DARPA Cyber Grand Challenge: A Competitor's Perspective. IEEE Secur. Priv. 13 (6) (2015)
Xia Yang, Nan Sang, Jim Alves-Foss
Shortening the Boot Time of Android OS. Computer 47 (7) (2014)
Jia Song, Jim Alves-Foss
Security Tagging for a Zero-Kernel Operating System. HICSS (2013)
Mark Rounds, Norman Pendegraft, Jim Alves-Foss
An Experimental Study to Explore Attacker Response to Changes in Security and Reward. HICSS (2013)
Xia Yang, Jim Alves-Foss
Security Policy Refinement: High-Level Specification to Low-Level Implementation. SocialCom (2013)
Luanne Burns, Rick Linger, Jim Alves-Foss
Introduction to Software Cybersecurity, Assurance, and Testing Minitrack. HICSS (2013)
Jim Alves-Foss, Paul W. Oman
The Known Unknowns. IEEE Secur. Priv. 11 (5) (2013)
Kevin Krause, Jim Alves-Foss
On Designing an ACL2-Based C Integer Type Safety Checking Tool. NASA Formal Methods (2013)
Joel Weis, Jim Alves-Foss
Securing Database as a Service: Issues and Compromises. IEEE Secur. Priv. 9 (6) (2011)
Todd Vollmer, Jim Alves-Foss, Milos Manic
Autonomous rule creation for intrusion detection. CICS (2011)
James R. Conrad, Jim Alves-Foss, Sauchi Stephen Lee
Analyzing uncertainty in TG protection graphs with TG/MC. J. Comput. Secur. 18 (5) (2010)
Jessica Smith, Xiaohui He, Jim Alves-Foss
A Security Review of the Cell Broadband Engine Processor. HICSS (2010)
Cheryl V. Hinds, Jim Alves-Foss
Detecting Compromised Nodes in a Wireless Sensor Network using Trust. SNA (2009)
Joon Son, Jim Alves-Foss
A formal framework for real-time information flow analysis. Comput. Secur. 28 (6) (2009)
Carol Masuck, Jim Alves-Foss, Paul W. Oman
Analysis of fault models for student use. ACM SIGCSE Bull. 40 (2) (2008)
Jie Zhou, Jim Alves-Foss
Security policy refinement and enforcement for the design of multi-level secure systems. J. Comput. Secur. 16 (2) (2008)
Huaqiang Wei, Jim Alves-Foss, Terence Soule, Hugh Pforsich, Du Zhang, Deborah A. Frincke
A Layered Decision Model for cost-effective system security. Int. J. Inf. Comput. Secur. 2 (3) (2008)
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-Foss
Formal Verification and Visualization of Security Policies. J. Comput. 3 (6) (2008)
Jeffrey Choi Robinson, Jim Alves-Foss
A high assurance MLS file server. ACM SIGOPS Oper. Syst. Rev. 41 (1) (2007)
Huaqiang Wei, Jim Alves-Foss, Du Zhang
Validating A Layered Decision Framework for Cost-Effective Network Defense. SEKE (2007)
Shanyu Zheng, David Manz, Jim Alves-Foss
A communication-computation efficient group key algorithm for large and dynamic groups. Comput. Networks 51 (1) (2007)
Huaqiang Wei, Jim Alves-Foss, Du Zhang, Deborah A. Frincke
Rationality Validation of a Layered Decision Model for Network Defense. IRI (2007)
Jeffrey Choi Robinson, W. Scott Harrison, Nadine Hanebutte, Paul W. Oman, Jim Alves-Foss
Implementing middleware for content filtering and information flow control. CSAW (2007)
Lu'ay A. Wahsheh, Jim Alves-Foss
Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture. IRI (2007)
Daniel Conte de Leon, Jim Alves-Foss, Paul W. Oman
Implementation-Oriented Secure Architectures. HICSS (2007)
Jim Alves-Foss, Paul W. Oman, Carol Taylor, Scott Harrison
The MILS architecture for high-assurance embedded systems. Int. J. Embed. Syst. 2 (3/4) (2006)
Lu'ay A. Wahsheh, Jim Alves-Foss
Specifying and enforcing a multi-policy paradigm for high assurance multi-enclave systems. J. High Speed Networks 15 (3) (2006)
Bei Wang, Jim Alves-Foss
An MSLS-EMM for enforcing confidentiality in malicious environments. Communication, Network, and Information Security (2006)
Daniel Conte de Leon, Jim Alves-Foss
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems. IEEE Trans. Software Eng. 32 (10) (2006)
Jie Zhou, Jim Alves-Foss
Architecture-based refinements for secure computer systems design. PST (2006)
Joon Son, Jim Alves-Foss
Covert timing channel capacity of rate monotonic real-time scheduling algorithm in MLS systems. Communication, Network, and Information Security (2006)
Scott Harrison, Nadine Hanebutte, Jim Alves-Foss
Programming Education in the Era of the Internet: A Paradigm Shift. HICSS (2006)
Shanyu Zheng, Jim Alves-Foss, Stephen S. Lee
The Effect of Rebalancing on the Performance of a Group Key Agreement Protocol. LCN (2006)
Huaqiang Wei, Jim Alves-Foss
Applying the layered decision model to the design of language-based security systems. IRI (2006)
Bryan Rossebo, Paul W. Oman, Jim Alves-Foss, Ryan Blue, Paul Jaszkowiak
Using SPARK-Ada to Model and Verify a MILS Message Router. ISSSE (2006)
Huaqiang Wei, Deborah A. Frincke, Jim Alves-Foss, Terence Soule, Hugh Pforsich
A layered decision model for cost-effective network defense. IRI (2005)
Carol Taylor, Jim Alves-Foss
Diversity as a computer defense mechanism. NSPW (2005)
Shanyu Zheng, Jim Alves-Foss, Stephen S. Lee
Performance of Group Key Agreement Protocols over Multiple Operations. IASTED PDCS (2005)
Daniel Conte de Leon, Jim Alves-Foss
Experiments on Processing and Linking Semantically Augmented Requirement Specifications. HICSS (2004)
Hyungjick Lee, Jim Alves-Foss, Scott Harrison
The Use of Encrypted Functions for Mobile Agent Security. HICSS (2004)
Hyungjick Lee, Jim Alves-Foss, Scott Harrison
The construction of secure mobile agents via evaluating encrypted functions. Web Intell. Agent Syst. 2 (1) (2004)
Jim Alves-Foss, Carol Taylor, Paul W. Oman
A Multi-Layered Approach to Security in High Assurance Systems. HICSS (2004)
Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt
Formal Reasoning About Intrusion Detection Systems. RAID (2004)
Carol Taylor, Jim Alves-Foss
Attack Recognition for System Survivability: A Low-level Approach. HICSS (2003)
Jonathan Graham, Jim Alves-Foss
Efficient Allocation in Distributed Object Oriented Databases. PDCS (2003)
Carol Taylor, Jim Alves-Foss
An empirical analysis of NATE: Network Analysis of Anomalous Traffic Events. NSPW (2002)
Sreekanth Malladi, Jim Alves-Foss
What are Multi-Protocol Guessing Attacks and How to Prevent Them. WETICE (2002)
Jim Alves-Foss, Daniel Conte de Leon, Paul W. Oman
Experiments in the Use of XML to Enhance Traceability between Object-Oriented Design Specifications and Source Code. HICSS (2002)
Jie Dai, Jim Alves-Foss
Certificate Based Authorization Simulation System. COMPSAC (2001)
M. Randall Holmes, Jim Alves-Foss
The Watson Theorem Prover. J. Autom. Reason. 26 (4) (2001)
Bart Rylander, Terence Soule, James A. Foster, Jim Alves-Foss
Quantum Genetic Algorithms. GECCO (2000)
Jim Alves-Foss
Cryptographic Protocol Engineering-Building Security from the Ground Up. International Conference on Internet Computing (2000)
Jim Alves-Foss, Fong Shing Lam
Dynamic Denotational Semantics of Java. Formal Syntax and Semantics of Java (1999)
Jim Alves-Foss, Deborah A. Frincke
Formal Grammar for Java. Formal Syntax and Semantics of Java (1999)
Jim Alves-Foss, Ann E. Kelley Sobel
Formal Methods and Industry - Introduction. HICSS (1999)
Jim Alves-Foss
The Architecture of Secure Systems. HICSS (3) (1998)
Charles Cavaiani, Jim Alves-Foss
Mutual authenticating protocol with key distribution in client/server environment. XRDS 2 (4) (1996)
Jim Alves-Foss
An overview of SNIF: a tool for Surveying Network Information Flow. NDSS (1995)
Jim Alves-Foss, Salvador Barbosa
Assessing Computer Security Vulnerability. ACM SIGOPS Oper. Syst. Rev. 29 (3) (1995)
Jim Alves-Foss
Modelling Non-Deterministic System in HOL. TPHOLs (1992)
Jim Alves-Foss, Karl N. Levitt
Mechanical Verification of Secure Distributed Systems in Higher Order Logic. TPHOLs (1991)
Jim Alves-Foss, Karl N. Levitt
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. IEEE Symposium on Security and Privacy (1991)
Jim Alves-Foss, Karl N. Levitt
The verification of secure distributed systems. Compcon (1991)