~lobsters | Bookmarks (39)

clear filters

pdf ×

PoC||GTFO 0x22

alchemistowl.org

pdf reversing security
2
Foetus - Termination Checker for Simple Functional Programs

lmu.de

pdf plt
1
The possibility of making $138,000 from shredded banknote pieces using computer vision

arxiv.org

Every country must dispose of old banknotes. At the Hong Kong Monetary Authority visitor center, visitors...
Every country must dispose of old banknotes. At the Hong Kong Monetary Authority visitor center, visitors can buy a paperweight souvenir full of shredded banknotes. Even though the shredded banknotes are small, by using computer vision, it is possible to reconstruct the whole banknote like a jigsaw puzzle. Each paperweight souvenir costs $100 HKD, and it is claimed to contain shredded banknotes equivalent to...

graphics pdf
1
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

rmonat.fr

Abstract: Legal expert systems routinely rely on date computations to determine the eligibility of a citizen...
Abstract: Legal expert systems routinely rely on date computations to determine the eligibility of a citizen to social benefits or whether an application has been filed on time. Unfortunately, date arithmetic exhibits many corner cases, which are handled differently from one library to the other, making faithfully transcribing the law into code error-prone, and possibly leading to heavy financial and legal consequences for users....

formalmethods law pdf plt
1
Yacc is dead (2010)

arxiv.org

We present two novel approaches to parsing context-free languages. The first approach is based on an...
We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski’s derivative from regular expressions to context-free grammars. The second approach is based on a generalization of the derivative to parser combinators. The payoff of these techniques is a small (less than 250 lines of code), easy-to-implement parsing library capable of parsing arbitrary context-free grammars into...

compilers pdf
1
A Modern Compiler for the French Tax Code

arxiv.org

Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is...
Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is authored, designed and maintained by the French Public Finances Directorate (DGFiP). This algorithm relies on a legacy custom language and compiler originally designed in 1990, which unlike French wine, did not age well with time. Owing to the shortcomings of the input language and the technical limitations of...

compilers formalmethods pdf plt
1
Dissecting the NVIDIA Volta GPU Architecture via Microbenchmarking (2018)

arxiv.org

graphics hardware pdf
1
Lend Me Your Ear: Passive Remote Physical Side Channels on PCs

gatech.edu

We show that built-in sensors in commodity PCs, such as microphones, inadvertently capture electromagnetic sidechannel leakage...
We show that built-in sensors in commodity PCs, such as microphones, inadvertently capture electromagnetic sidechannel leakage from ongoing computation. Moreover, this information is often conveyed by supposedly-benign channels such as audio recordings and common Voice-over-IP applications, even after lossy compression.Thus, we show, it is possible to conduct physical sidechannel attacks on computation by remote and purely passive analysis of commonly-shared channels. These attacks require...

pdf security
1
FAA Safety Continuum Doctrine

regulations.gov

pdf practices
1
10 years with DragonFlyBSD network stack (2017)

dragonflybsd.org

distributed dragonflybsd networking pdf
1
Escape from Zurg: An Exercise in Logic Programming

oregonstate.edu

haskell pdf plt
1
Software Technical Writing: A Handbook

jamesg.blog

pdf practices
2
Merkle Search Trees: Efficient State-Based CRDTs in Open Networks

hal.science

compsci databases distributed pdf
1