![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jim Alves-Foss
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j24]Mina Soltani Siapoush
, Jim Alves-Foss
:
Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? IEEE Access 11: 101750-101759 (2023) - [c53]Jim Alves-Foss, Aditi Pokharel, Ronisha Shigdel, Jia Song:
Calibrating Cybersecurity Experiments: Evaluating Coverage Analysis for Fuzzing Benchmarks. SERA 2023: 251-257 - 2022
- [j23]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: 83755-83792 (2022) - [i1]Jim Alves-Foss, Varsha Venugopal:
The Inconvenient Truths of Ground Truth for Binary Analysis. CoRR abs/2210.15079 (2022)
2010 – 2019
- 2019
- [c52]Jim Alves-Foss, Jia Song:
Function boundary detection in stripped binaries. ACSAC 2019: 84-96 - [c51]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: 11-20 - [c50]Jim Alves-Foss:
Percentages, Probabilities and Professions of Performance. CSET @ USENIX Security Symposium 2019 - 2018
- [j22]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): 6139-6160 (2018) - [c49]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: 226-231 - [c48]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: 95-102 - 2017
- [c47]Stuart Steiner, Daniel Conte de Leon, Jim Alves-Foss:
A Structured Analysis of SQL Injection Runtime Mitigation Techniques. HICSS 2017: 1-9 - 2016
- [j21]Xia Yang, Peng Shi, Haiyong Sun, Wenxuan Zheng, Jim Alves-Foss:
A Fast Boot, Fast Shutdown Technique for Android OS Devices. Computer 49(7): 62-68 (2016) - [j20]Jia Song, Jim Alves-Foss:
The DARPA Cyber Grand Challenge: A Competitor's Perspective, Part 2. IEEE Secur. Priv. 14(1): 76-81 (2016) - [c46]Lawrence Kerr, Jim Alves-Foss:
Combining Mandatory and Attribute-Based Access Control. HICSS 2016: 2616-2623 - 2015
- [j19]Jia Song, Jim Alves-Foss:
The DARPA Cyber Grand Challenge: A Competitor's Perspective. IEEE Secur. Priv. 13(6): 72-76 (2015) - [c45]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: 5201-5210 - 2014
- [j18]Xia Yang, Nan Sang, Jim Alves-Foss:
Shortening the Boot Time of Android OS. Computer 47(7): 53-58 (2014) - 2013
- [j17]Jim Alves-Foss, Paul W. Oman:
The Known Unknowns. IEEE Secur. Priv. 11(5): 77-79 (2013) - [c44]Mark Rounds, Norman Pendegraft, Jim Alves-Foss:
An Experimental Study to Explore Attacker Response to Changes in Security and Reward. HICSS 2013: 2969-2977 - [c43]Luanne Burns, Rick Linger, Jim Alves-Foss:
Introduction to Software Cybersecurity, Assurance, and Testing Minitrack. HICSS 2013: 5012 - [c42]Jia Song, Jim Alves-Foss:
Security Tagging for a Zero-Kernel Operating System. HICSS 2013: 5049-5058 - [c41]Kevin Krause, Jim Alves-Foss:
On Designing an ACL2-Based C Integer Type Safety Checking Tool. NASA Formal Methods 2013: 472-477 - [c40]Xia Yang, Jim Alves-Foss:
Security Policy Refinement: High-Level Specification to Low-Level Implementation. SocialCom 2013: 502-511 - 2011
- [j16]Joel Weis, Jim Alves-Foss:
Securing Database as a Service: Issues and Compromises. IEEE Secur. Priv. 9(6): 49-55 (2011) - [c39]Todd Vollmer, Jim Alves-Foss, Milos Manic:
Autonomous rule creation for intrusion detection. CICS 2011: 1-8 - [r1]Jim Alves-Foss:
Multiple Independent Levels of Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 815-818 - 2010
- [j15]James R. Conrad, Jim Alves-Foss, Sauchi Stephen Lee:
Analyzing uncertainty in TG protection graphs with TG/MC. J. Comput. Secur. 18(5): 667-699 (2010) - [c38]Jessica Smith, Xiaohui He, Jim Alves-Foss:
A Security Review of the Cell Broadband Engine Processor. HICSS 2010: 1-8
2000 – 2009
- 2009
- [j14]Joon Son, Jim Alves-Foss:
A formal framework for real-time information flow analysis. Comput. Secur. 28(6): 421-432 (2009) - [c37]Cheryl V. Hinds, Jim Alves-Foss:
Detecting Compromised Nodes in a Wireless Sensor Network using Trust. SNA 2009: 115-119 - 2008
- [j13]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): 297-324 (2008) - [j12]Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-Foss:
Formal Verification and Visualization of Security Policies. J. Comput. 3(6): 22-31 (2008) - [j11]Jie Zhou, Jim Alves-Foss:
Security policy refinement and enforcement for the design of multi-level secure systems. J. Comput. Secur. 16(2): 107-131 (2008) - [j10]Carol Masuck, Jim Alves-Foss, Paul W. Oman:
Analysis of fault models for student use. ACM SIGCSE Bull. 40(2): 79-83 (2008) - 2007
- [j9]Shanyu Zheng, David O. Manz
, Jim Alves-Foss:
A communication-computation efficient group key algorithm for large and dynamic groups. Comput. Networks 51(1): 69-93 (2007) - [j8]Jeffrey Choi Robinson, Jim Alves-Foss:
A high assurance MLS file server. ACM SIGOPS Oper. Syst. Rev. 41(1): 45-53 (2007) - [c36]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: 47-53 - [c35]Daniel Conte de Leon, Jim Alves-Foss, Paul W. Oman:
Implementation-Oriented Secure Architectures. HICSS 2007: 278 - [c34]Huaqiang Wei, Jim Alves-Foss, Du Zhang, Deborah A. Frincke:
Rationality Validation of a Layered Decision Model for Network Defense. IRI 2007: 85-90 - [c33]Lu'ay A. Wahsheh, Jim Alves-Foss:
Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture. IRI 2007: 183-189 - [c32]Huaqiang Wei, Jim Alves-Foss, Du Zhang:
Validating A Layered Decision Framework for Cost-Effective Network Defense. SEKE 2007: 105-110 - 2006
- [j7]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): 239-247 (2006) - [j6]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): 315-327 (2006) - [j5]Daniel Conte de Leon, Jim Alves-Foss:
Hidden Implementation Dependencies in High Assurance and Critical Computing Systems. IEEE Trans. Software Eng. 32(10): 790-811 (2006) - [c31]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: 13-18 - [c30]Bei Wang, Jim Alves-Foss:
An MSLS-EMM for enforcing confidentiality in malicious environments. Communication, Network, and Information Security 2006: 126-131 - [c29]Scott Harrison, Nadine Hanebutte, Jim Alves-Foss:
Programming Education in the Era of the Internet: A Paradigm Shift. HICSS 2006 - [c28]Huaqiang Wei, Jim Alves-Foss:
Applying the layered decision model to the design of language-based security systems. IRI 2006: 182-187 - [c27]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 - [c26]Shanyu Zheng, Jim Alves-Foss, Stephen S. Lee:
The Effect of Rebalancing on the Performance of a Group Key Agreement Protocol. LCN 2006: 983-989 - [c25]Jie Zhou, Jim Alves-Foss:
Architecture-based refinements for secure computer systems design. PST 2006: 15 - 2005
- [c24]Huaqiang Wei, Deborah A. Frincke, Jim Alves-Foss, Terence Soule, Hugh Pforsich:
A layered decision model for cost-effective network defense. IRI 2005: 506-511 - [c23]Carol Taylor, Jim Alves-Foss:
Diversity as a computer defense mechanism. NSPW 2005: 11-14 - [c22]Shanyu Zheng, Jim Alves-Foss, Stephen S. Lee:
Performance of Group Key Agreement Protocols over Multiple Operations. IASTED PDCS 2005: 600-606 - 2004
- [j4]Hyungjick Lee, Jim Alves-Foss, Scott Harrison:
The construction of secure mobile agents via evaluating encrypted functions. Web Intell. Agent Syst. 2(1): 1-19 (2004) - [c21]Jim Alves-Foss, Carol Taylor, Paul W. Oman:
A Multi-Layered Approach to Security in High Assurance Systems. HICSS 2004 - [c20]Hyungjick Lee, Jim Alves-Foss, Scott Harrison:
The Use of Encrypted Functions for Mobile Agent Security. HICSS 2004 - [c19]Daniel Conte de Leon, Jim Alves-Foss:
Experiments on Processing and Linking Semantically Augmented Requirement Specifications. HICSS 2004 - [c18]Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt:
Formal Reasoning About Intrusion Detection Systems. RAID 2004: 278-295 - 2003
- [c17]Jonathan Graham, Jim Alves-Foss:
Efficient Allocation in Distributed Object Oriented Databases. PDCS 2003: 471- - [c16]Carol Taylor, Jim Alves-Foss:
Attack Recognition for System Survivability: A Low-level Approach. HICSS 2003: 335 - 2002
- [c15]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: 276 - [c14]Carol Taylor, Jim Alves-Foss:
An empirical analysis of NATE: Network Analysis of Anomalous Traffic Events. NSPW 2002: 18-26 - [c13]Sreekanth Malladi, Jim Alves-Foss:
What are Multi-Protocol Guessing Attacks and How to Prevent Them. WETICE 2002: 77-82 - 2001
- [j3]M. Randall Holmes, Jim Alves-Foss:
The Watson Theorem Prover. J. Autom. Reason. 26(4): 357-408 (2001) - [c12]Jie Dai, Jim Alves-Foss:
Certificate Based Authorization Simulation System. COMPSAC 2001: 190-195 - 2000
- [c11]Bart Rylander, Terence Soule, James A. Foster, Jim Alves-Foss:
Quantum Genetic Algorithms. GECCO 2000: 373 - [c10]Jim Alves-Foss:
Cryptographic Protocol Engineering-Building Security from the Ground Up. International Conference on Internet Computing 2000: 371-378
1990 – 1999
- 1999
- [c9]Jim Alves-Foss, Ann E. Kelley Sobel:
Formal Methods and Industry - Introduction. HICSS 1999 - [c8]Jim Alves-Foss, Deborah A. Frincke:
Formal Grammar for Java. Formal Syntax and Semantics of Java 1999: 1-40 - [c7]Jim Alves-Foss, Fong Shing Lam:
Dynamic Denotational Semantics of Java. Formal Syntax and Semantics of Java 1999: 201-240 - [e2]Jim Alves-Foss:
Formal Syntax and Semantics of Java. Lecture Notes in Computer Science 1523, Springer 1999, ISBN 3-540-66158-1 [contents] - 1998
- [c6]Jim Alves-Foss:
The Architecture of Secure Systems. HICSS (3) 1998: 307-316 - 1996
- [j2]Charles Cavaiani, Jim Alves-Foss:
Mutual authenticating protocol with key distribution in client/server environment. XRDS 2(4): 17-22 (1996) - 1995
- [j1]Jim Alves-Foss, Salvador Barbosa:
Assessing Computer Security Vulnerability. ACM SIGOPS Oper. Syst. Rev. 29(3): 3-13 (1995) - [c5]Jim Alves-Foss:
An overview of SNIF: a tool for Surveying Network Information Flow. NDSS 1995: 94-101 - [e1]E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss:
Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Lecture Notes in Computer Science 971, Springer 1995, ISBN 3-540-60275-5 [contents] - 1992
- [c4]Jim Alves-Foss:
Modelling Non-Deterministic System in HOL. TPHOLs 1992: 295-304 - 1991
- [c3]Jim Alves-Foss, Karl N. Levitt:
The verification of secure distributed systems. Compcon 1991: 177-184 - [c2]Jim Alves-Foss, Karl N. Levitt:
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. S&P 1991: 122-135 - [c1]Jim Alves-Foss, Karl N. Levitt:
Mechanical Verification of Secure Distributed Systems in Higher Order Logic. TPHOLs 1991: 263-278
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-31 18:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint