본문

  1. Home
  4. Search
12 Results:SS:PROGRAMANALYSIS 0.312 sec.
RSS 
Multilingual
 Advanced Search
 New arrival Search
Selected Print 선택엑셀내보내기
1
Better Program Analysis for Security via Data Flow Tracking and Symbolic Execution.
Better Program Analysis for Security via Data Flow Tracking and Symbolic Execution.
Balajorshari, Navid Emamdoost.Computer Science. | University of Minnesota. | 2021
Print
2
Practical End-to-End Analysis of Information Flow Security Policies- [electronic resource]
Practical End-to-End Analysis of Information Flow Security Policies- [electronic resource]
Cassel, Darion.Electrical and Computer Engineering | Carnegie Mellon University. | 2023
Print
3
Integrating Declarative Static Analysis With Neural Models of Code- [electronic resource]
Integrating Declarative Static Analysis With Neural Models of Code- [electronic resource]
Pashakhanloo, Pardis.Computer and Information Scie | University of Pennsylvania. | 2023
Print
4
Automating the Detection and Correction of Failures in Modern Persistent Memory Systems- [electronic resource]
Automating the Detection and Correction of Failures in Modern Persistent Memory Systems- [electronic resource]
Neal, Ian Glen.Computer Science & Engineering. | University of Michigan. | 2023
Print
5
Security and Usability Issues in Event-Driven Applications- [electronic resource]
Security and Usability Issues in Event-Driven Applications- [electronic resource]
Bose, Priyanka.Computer Science. | University of California, Santa Barbara. | 2023
Print
6
Finding Attacks and Vulnerabilities in Critical Systems- [electronic resource]
Finding Attacks and Vulnerabilities in Critical Systems- [electronic resource]
Das, Dipanjan.Computer Science. | University of California, Santa Barbara. | 2023
Print
7
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
Emre, Mehmet.Computer Science. | University of California, Santa Barbara. | 2022
Print
8
Practical Network Programming Automation.
Practical Network Programming Automation.
Shi, Lei.Computer and Information Science. | University of Pennsylvania. | 2022
Print
9
Cautiously Optimistic Program Analyses for Secure and Reliable Software.
Cautiously Optimistic Program Analyses for Secure and Reliable Software.
Banerjee, Subarno.Computer Science & Engineering. | University of Michigan. | 2021
Print
10
Analysis of Floating-Point Programs for Numerical Reliability and Efficiency
Analysis of Floating-Point Programs for Numerical Reliability and Efficiency
Guo, Hui. | University of California, Davis | 2020
Print
처음12이후마지막