niftycent.com
NiftyCent
RO
Logare
Piata de desfacere
Reduceri

Sound & Efficient Generation of DOP Exploits via Programming Language Synthesis [pdf]

Article URL: https://ilyasergey.net/assets/pdf/papers/doppler-usenix25.pdf

Comments URL: https://news.ycombinator.com/item?id=42907060

Points: 5

# Comments: 0

https://ilyasergey.net/assets/pdf/papers/doppler-usenix25.pdf

Creată 6mo | 2 feb. 2025, 10:50:04


Autentifică-te pentru a adăuga comentarii

Alte posturi din acest grup

How To Make (almost) Anything (2019)
How To Make (almost) Anything (2019)

Article URL: https://fab.cba.mit.edu/classes/863.19/CBA/people/dsculley/index.html

Comments URL:

3 aug. 2025, 15:20:14 | Hacker news
$83B Wasted: Showing Up at the Airport 3 Hours Before Your Flight
$83B Wasted: Showing Up at the Airport 3 Hours Before Your Flight

Article URL: https://viewfromthewing.com/83-

3 aug. 2025, 15:20:13 | Hacker news
The Fulbright Program: Chock Full of Bright Ideas
The Fulbright Program: Chock Full of Bright Ideas

Article URL: https://bastian.rieck.me/blog/2025/fulbright/

Comments URL:

3 aug. 2025, 15:20:11 | Hacker news
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Ongoing Lean formalisation of the proof of Fermat's Last Theorem

https://github.com/ImperialCollegeLondon/FLT/blob/main/GENER...

Comments URL:

3 aug. 2025, 13:10:05 | Hacker news
If you're remote, ramble
If you're remote, ramble

Article URL: https://stephango.com/ramblings

Comments URL: https://news.ycombinator.com

3 aug. 2025, 13:10:03 | Hacker news
Tokens are getting more expensive
Tokens are getting more expensive

Article URL: https://ethanding.substack.com/p/ai-subscriptions-get-short-squeezed

Comments URL:

3 aug. 2025, 13:10:02 | Hacker news
A Bytecode VM for Arithmetic: The Parser
A Bytecode VM for Arithmetic: The Parser

Article URL: https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-parser/

Comments URL:

3 aug. 2025, 10:40:09 | Hacker news
Techie
Techie