Newest Stories by nickpsecurity | Lobsters

21

A Grad Student Solved a Fundamental, Quantum, Computing Problem ☶ compsci hardware person science wired.com
via nickpsecurity 20 hours ago | cached | 4 comments

4
1

Cache-Oblivious Algorithms and Data Structures (2002) ☶ pdf compsci performance programming erikdemaine.org
via nickpsecurity 20 hours ago | cached | no comments

0
18

Thieves and Geeks: Russian and Chinese Hacking Communities culture historical security recordedfuture.com
via nickpsecurity 2 days ago | cached | 9 comments

9
4

Design of Automated Validation Environment For Radiation Hardened MIPS Microprocessor pdf assembly hardware testing repository.asu.edu
via nickpsecurity 2 days ago | cached | no comments

0
4

A Review of Hardware, Security Modules (2010) pdf crypto hardware security opendnssec.org
via nickpsecurity 2 days ago | cached | no comments

0
4

GPU LSM: A Dynamic Dictionary Data Structure for the GPU ☶ graphics performance arxiv.org
via nickpsecurity 3 days ago | cached | no comments

0
2

SDSL - Succinct Data Structure Library ☶ c++ performance github.com
via nickpsecurity 3 days ago | cached | 1 comment

1
20

BεtrFS: The Bε-tree File System linux osdev performance betrfs.org
via nickpsecurity 3 days ago | cached | 4 comments

4
28

Supermicro boards were so bug-ridden, why would hackers need implants? hardware programming security arstechnica.com
via nickpsecurity 4 days ago | cached | 4 comments

4
2

Practical, Symbolic, Execution Analysis and Methodology for GPU Programs ☶ pdf formalmethods graphics testing formalverification.cs.utah.edu
via nickpsecurity 4 days ago | cached | no comments

0
2

A Survey of Hardware-based, Control-Flow Integrity pdf hardware security arxiv.org
via nickpsecurity 4 days ago | cached | no comments

0
1

Some Steps into Verification of Exact, Real Arithmetic (2012) pdf slides c c++ formalmethods math shemesh.larc.nasa.gov
via nickpsecurity 5 days ago | cached | no comments

0
1

Combining Coq and Gappa for Certifying Floating-Point Programs (2009) ☶ pdf c formalmethods lri.fr
via nickpsecurity 5 days ago | cached | no comments

0
16

FISK Floppy Fax Machine hardware historical twitter.com
via nickpsecurity 5 days ago | cached | 6 comments

6
1

ServiceFabric: a distributed platform for building microservices in the cloud ☶ distributed programming blog.acolyer.org
via nickpsecurity 6 days ago | cached | no comments

0
3

An Introduction using Prolog to Specify Programming Language Semantics (2016) ☶ pdf education formalmethods plt homepage.cs.uri.edu
via nickpsecurity 6 days ago | cached | no comments

0
1

First, seL4 Summit event osdev security sel4-us.org
via nickpsecurity 7 days ago | cached | no comments

0
6

Fractal Tree Index compsci databases programming en.wikipedia.org
via nickpsecurity 9 days ago | cached | no comments

0
9

LACORE: A RISC-V-based, Linear, Algebra Accelerator for SoC Designs ☶ pdf slides hardware programming content.riscv.org
via nickpsecurity 9 days ago | cached | no comments

0
8

Log(Graph): A Near-Optimal High-Performance Graph Representation ☶ pdf compsci performance programming people.csail.mit.edu
via nickpsecurity 10 days ago | cached | 2 comments

2
2

Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems (2008) ☶ pdf c++ formalmethods plt stroustrup.com
via nickpsecurity 10 days ago | cached | no comments

0
5

YETI: a graduallY Extensible Trace Interpreter (2008) ☶ compilers java ml cs.toronto.edu
via nickpsecurity 11 days ago | cached | 1 comment

1
7

Awesome Object- and Capability-Security List programming security github.com
via nickpsecurity 11 days ago | cached | no comments

0
7

Confessions of Wall St Programmer: Static Analysis Posts c++ practices testing btorpey.github.io
via nickpsecurity 12 days ago | cached | 2 comments

2
7

LISP can be "hard" real time pdf hardware lisp performance franz.com
via nickpsecurity 12 days ago | cached | no comments

0