Newest Stories by nickpsecurity | Lobsters

3

A Hardware Accelerator for Tracing Garbage Collection (2018) ☶ pdf hardware java linux performance security people.eecs.berkeley.edu
via nickpsecurity 38 hours ago | cached | 1 comment

1
2

Repair and Generation of Formal Models Using Synthesis (2018) ☶ pdf formalmethods programming krin.gs
via nickpsecurity 3 days ago | cached | no comments

0
19

Cloudflare architecture and how BPF eats the world linux networking security blog.cloudflare.com
via nickpsecurity 6 days ago | cached | 1 comment

1
1

On Post-Compromise Security ☶ pdf crypto formalmethods security eprint.iacr.org
via nickpsecurity 7 days ago | cached | no comments

0
5

One Monad to Prove Them All ☶ pdf formalmethods haskell arxiv.org
via nickpsecurity 10 days ago | cached | no comments

0
17

Blockchains: What's Not to Like? cryptocurrencies distributed blog.dshr.org
via nickpsecurity 11 days ago | cached | 13 comments

13
10

PLOT: Programming Language for Old Timers plt users.rcn.com
via nickpsecurity 13 days ago | cached | 3 comments

3
13

Overview of Expert Systems ai historical tutorialspoint.com
via nickpsecurity 16 days ago | cached | 9 comments

9
8

Electromagnetic Interference Mapping hardware charleslabs.fr
via nickpsecurity 16 days ago | cached | 2 comments

2
1

SPLLIFT — Statically Analyzing Software Product Lines in Minutes Instead of Years (2013) ☶ pdf formalmethods java bodden.de
via nickpsecurity 17 days ago | cached | no comments

0
12

Scopes: Retargetable programming language and infrastructure plt bitbucket.org
via nickpsecurity 18 days ago | cached | 1 comment

1
22

Es: A shell with higher-order functions (1993) plt programming unix wryun.github.io
via nickpsecurity 19 days ago | cached | 7 comments

7
3

RowHammer: A Retrospective ☶ pdf hardware security arxiv.org
via nickpsecurity 20 days ago | cached | no comments

0
6

eBPF can't count? networking security unix blog.cloudflare.com
via nickpsecurity 20 days ago | cached | no comments

0
22

I/O Is Faster Than the CPU – Let’s Partition Resourcesand Eliminate (Most) OS Abstractions ☶ pdf osdev performance security penberg.org
via nickpsecurity 21 days ago | cached | 4 comments

4
1

Dynamic Programming via Static Incrementalization (2003) pdf formalmethods java math programming cs.stonybrook.edu
via nickpsecurity 21 days ago | cached | no comments

0
3

Simulating memory models with herd7 distributed formalmethods programming diy.inria.fr
via nickpsecurity 22 days ago | cached | no comments

0
6

Unikernels: The Next Stage of Linux’s Dominance ☶ pdf linux osdev cs.bu.edu
via nickpsecurity 23 days ago | cached | no comments

0
4

Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue ☶ pdf c formalmethods linux usenix.org
via nickpsecurity 23 days ago | cached | 1 comment

1
2

Hardware Reverse Engineering: Access, Analyze, and Defeat (2011) pdf slides hardware reversing media.blackhat.com
via nickpsecurity 24 days ago | cached | no comments

0
20

Insulin Pumps, Decapped Chips and Software Defined Radios assembly c hardware python reversing blog.usejournal.com
via nickpsecurity 25 days ago | cached | 5 comments

5
15

Foundations of Databases pdf book databases webdam.inria.fr
via nickpsecurity 1 month ago | cached | no comments

0
2

The CASE of FEMU: Cheap, Accurate, Scalable and Extensible Flash Emulator (2018) ☶ pdf hardware virtualization ucare.cs.uchicago.edu
via nickpsecurity 1 month ago | cached | no comments

0
19

Floyd Programming Language ☶ plt programming github.com
via nickpsecurity 1 month ago | cached | 25 comments

25
6

Turing-Completeness Totally Free ☶ pdf formalmethods plt programming personal.cis.strath.ac.uk
via nickpsecurity 1 month ago | cached | no comments

0