Jim Alves-Foss

88 papers A* 1A 3B 3C 6Misc 4Journal 31Unranked 37

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