Fetching the paper…
Reading the bibliography…
Security critical software, e.g., OpenSSL, comes with numerous side-channel leakages left unpatched due to a lack of resources or experts.
Language models are few-shot learners
1901
Earlier work this paper cites.
Timing attacks on implementations of diffie-hellman, rsa, dss, and other systems
1996
Earlier work this paper cites.
ctgrind: Checking that functions are constant time with valgrind
2013
Earlier work this paper cites.
Cacheaudit: A tool for the static analysis of cache side channels
2015
Earlier work this paper cites.
Sparse representation of implicit flows with applications to side-channel detection
2016
Earlier work this paper cites.
Decomposition instead of self-composition for proving the absence of timing channels
2017
Earlier work this paper cites.
Deepfix: Fixing common c language errors by deep learning
2017
Earlier work this paper cites.
Spectre mitigations in microsoft’s c/c++ compiler
2018
Earlier work this paper cites.
Meltdown: Reading kernel memory from user space
2018
Earlier work this paper cites.
Spectre mitigations in msvc, Jan. 2018
2018
Earlier work this paper cites.
Microwalk: A framework for finding side channels in binaries
2018
Earlier work this paper cites.
Eliminating timing side-channel leaks using program repair
2018
Earlier work this paper cites.
Fallout: Leaking data on meltdown-resistant cpus
2019
Earlier work this paper cites.
A systematic evaluation of transient execution attacks and defenses
2019
Earlier work this paper cites.
Bert: Pre-training of deep bidirectional transformers for language understanding, 2019
2019
Earlier work this paper cites.
Spectre attacks: Exploiting speculative execution
2019
Earlier work this paper cites.
Roberta: A robustly optimized bert pretraining approach, 2019
2019
Earlier work this paper cites.
ZombieLoad: Cross-privilege-boundary data sampling
2019
Cited alongside, same era.
RIDL: Rogue in-flight data load
2019
Cited alongside, same era.
oo7: Low-overhead defense against spectre attacks via program analysis
2019
Cited alongside, same era.
Constant-time foundations for the new spectre era
2020
Cited alongside, same era.
Spectector: Principled detection of speculative information flows
2020
Cited alongside, same era.
Specfuzz: Bringing spectre-type vulnerabilities to the surface
2020
Cited alongside, same era.
Learning to fix build errors with graph2diff neural networks
Promptchainer: Chaining large language model prompts through visual programming
2022
Later among the works it cites.
Ai chains: Transparent and controllable human-ai interaction by chaining large language model prompts
2022
Later among the works it cites.
Ultimate slh: Taking speculative load hardening to the next level
2022
Later among the works it cites.
https://npm-stat.com/charts.html?package=aes-js&from=2013-08-03&to=2023-08-03
npm-stat: download statistics for npm packages · 2023
Closest in time.
Fixing hardware security bugs with large language models
2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2020
Cited alongside, same era.
Kleespectre: Detecting information leakage through speculative cache attacks via symbolic execution
2020
Cited alongside, same era.
Break-it-fix-it: Unsupervised learning for program repair
2021
Cited alongside, same era.
Sok: Practical foundations for software spectre defenses
2022
Cited alongside, same era.
Spectre and meltdown attacks against openssl
2022
Cited alongside, same era.
Guidelines for mitigating timing side channels against cryptographic implementations, v2.1, 2022-06-29
2022
Cited alongside, same era.
2023
Closest in time.
Rapgen: An approach for fixing code inefficiencies in zero-shot
2023
Closest in time.
Emerging tech: Generative ai code assistants are becoming essential to developer experience, 2023
2023
Closest in time.
Ghidra software reverse engineering (sre) framework, 2023
2023
Closest in time.
Teardown of a failed linux lts spectre fix, 2019
2023
Closest in time.
Ida pro, 2023
2023
Closest in time.
Llm-assisted generation of hardware assertions
2023
Closest in time.
base64-js
2023
Closest in time.
Gpt-4 technical report, 2023
2023
Closest in time.
Examining Zero-Shot Vulnerability Repair with Large Language Models
2023
Closest in time.
Llama: Open and efficient foundation language models, 2023
2023
Closest in time.
How effective are neural networks for fixing security vulnerabilities
2023
Closest in time.