~lobsters | Bookmarks (43)
-
More Fixpoints! (Functional Pearl)
Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately,...
-
Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures (2014)
We developed Chlorophyll, a synthesis-aided programming model and compiler for the GreenArrays GA144, an extremely minimal-...
-
Case Study: Securing MMU-less Linux Using CHERI
MMU-less Linux variant lacks security because it does not have protection or isolation mechanisms. It also...
-
The KeyTrap Denial-of-Service Algorithmic Complexity Attacks on DNS
Abstract: Availability is a major concern in the design of DNSSEC. To ensure availability, DNSSEC follows...
-
The possibility of making $138,000 from shredded banknote pieces using computer vision
Every country must dispose of old banknotes. At the Hong Kong Monetary Authority visitor center, visitors...
-
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Abstract: Legal expert systems routinely rely on date computations to determine the eligibility of a citizen...
-
Yacc is dead (2010)
We present two novel approaches to parsing context-free languages. The first approach is based on an...
-
A Modern Compiler for the French Tax Code
Abstract: In France, income tax is computed from taxpayers’ individual returns, using an algorithm that is...
-
Lend Me Your Ear: Passive Remote Physical Side Channels on PCs
We show that built-in sensors in commodity PCs, such as microphones, inadvertently capture electromagnetic sidechannel leakage...