research
∙
08/07/2023
Symmetry-Preserving Program Representations for Learning Code Semantics
Large Language Models (LLMs) have shown promise in automated program rea...
share
research
∙
06/13/2023
TRACED: Execution-aware Pre-training for Source Code
Most existing pre-trained language models for source code focus on learn...
research
∙
04/25/2023
TraceFixer: Execution Trace-Driven Program Repair
When debugging unintended program behavior, developers can often identif...
research
∙
11/12/2022
Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS)
It is beneficial to develop an efficient machine-learning based method f...
research
∙
10/04/2022
NeuDep: Neural Binary Memory Dependence Analysis
Determining whether multiple instructions can access the same memory loc...
research
∙
12/16/2020
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity
Detecting semantically similar functions – a crucial analysis capability...
research
∙
10/02/2020
XDA: Accurate, Robust Disassembly with Transfer Learning
Accurate and robust disassembly of stripped binaries is challenging. The...
research
∙
09/19/2018
Efficient Formal Safety Analysis of Neural Networks
Neural networks are increasingly deployed in real-world safety-critical ...
research
∙
07/15/2018
NEUZZ: Efficient Fuzzing with Neural Program Learning
Fuzzing has become the de facto standard technique for finding software ...
research
∙
04/28/2018
Formal Security Analysis of Neural Networks using Symbolic Intervals
Due to the increasing deployment of Deep Neural Networks (DNNs) in real-...
research
∙
12/05/2017
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems
Due to the increasing usage of machine learning (ML) techniques in secur...
research
∙
08/28/2017