A Fuzzing Tool Based on Automated Grammar Detection von Song, Jia, Alves-Foss, Jim

Volltext

Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? von Siapoush, Mina Soltani, Alves-Foss, Jim

Volltext

Real-Time Operating Systems' Compliance With MISRA-C Coding Standard: A Comprehensive Study von Song, Jia, Shigdel, Ronisha, Pokharel, Aditi, Alves-Foss, Jim

Volltext

A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure von Jillepalli, Ananth A., De Leon, Daniel Conte, Alves-Foss, Jim, Jeffery, Clinton L., Sheldon, Frederick T.

Volltext

Analysis of Web Browser Security Configuration Options von Jillepalli, Ananth A, de Leon, Daniel Conte, Steiner, Stuart, Alves-Foss, Jim

Volltext

Formal Syntax and Semantics of Java von Alves-Foss, Jim

Volltext

A communication–computation efficient group key algorithm for large and dynamic groups von Zheng, Shanyu, Manz, David, Alves-Foss, Jim

Volltext

Analysis of Web Browser Security Configuration Options von Jillepalli, Ananth A, de Leon, Daniel Conte, Steiner, Stuart, Alves-Foss, Jim

Volltext

Formal Verification and Visualization of Security Policies von Wahsheh, Luay A., Leon, Daniel Conte de, Alves-Foss, Jim

Volltext

Security Tagging for a Zero-Kernel Operating System von Jia Song, Alves-Foss, J.

Volltext

Shortening the Boot Time of Android OS von Yang, Xia, Sang, Nan, Alves-Foss, Jim

Volltext

A Fast Boot, Fast Shutdown Technique for Android OS Devices von Yang, Xia, Shi, Peng, Sun, Haiyong, Zheng, Wenxuan, Alves-Foss, Jim

Volltext

Autonomous rule creation for intrusion detection von Vollmer, T., Alves-Foss, J., Manic, M.

Volltext bestellen

Hidden Implementation Dependencies in High Assurance and Critical Computing Systems von de Leon, D.C., Alves-Foss, J.

Volltext

A formal framework for real-time information flow analysis von Son, Joon, Alves-Foss, Jim

Volltext

A Security Review of the Cell Broadband Engine Processor von Smith, J., Xiaohui He, Alves-Foss, J.

Volltext

MAINTAINING CONFIDENTIALITY IN MULTILEVEL XML von Lawrence Kerr, Jim Alves-Foss

Volltext

HARDWARE SECURITY TAGS FOR ENHANCED OPERATING SYSTEM SECURITY von Jia Song, Jim Alves-Foss

Volltext

Towards resilient multicore architectures for real-time controls von Bradetich, Ryan, Oman, Paul, Alves-Foss, Jim, Smith, Jessica

Volltext bestellen

Security policy refinement and enforcement for the design of multi-level secure systems von Zhou, Jie, Alves-Foss, Jim

Volltext