Newest Stories by nickpsecurity | Lobsters

6

N-Version Programming for the N-th Time practices programming security leepike.wordpress.com
via nickpsecurity 36 hours ago | cached | 5 comments

5
6

A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers ☶ pdf formalmethods testing cse.unt.edu
via nickpsecurity 5 days ago | cached | no comments

0
41

soso: A Simple Unix-like Operating System ☶ osdev unix github.com
via nickpsecurity 8 days ago | cached | 4 comments

4
4

Call-by-Need Is Clairvoyant Call-by-Value ☶ pdf formalmethods plt programming cs.nott.ac.uk
via nickpsecurity 11 days ago | cached | no comments

0
2

Automatic review of abstract state machines by meta property verification (2010) ☶ pdf formalmethods programming security citeseerx.ist.psu.edu
via nickpsecurity 12 days ago | cached | no comments

0
3

DECAF: Dynamic Executable Code Analysis Framework reversing security github.com
via nickpsecurity 16 days ago | cached | 1 comment

1
4

A predicate transformer semantics for effects ☶ pdf formalmethods programming staff.science.uu.nl
via nickpsecurity 17 days ago | cached | no comments

0
13

Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats ☶ pdf formalmethods ml networking security arxiv.org
via nickpsecurity 18 days ago | cached | 2 comments

2
4

Improving Railway Data Validation with ProB ☶ pdf formalmethods programming hhu.de
via nickpsecurity 19 days ago | cached | 1 comment

1
3

Fuzzification: Anti-Fuzzing Techniques ☶ pdf c security testing usenix.org
via nickpsecurity 20 days ago | cached | 5 comments

5
5

Rodney Brooks ai historical person technologyreview.com
via nickpsecurity 20 days ago | cached | no comments

0
5

Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity ☶ pdf formalmethods hardware plt people.csail.mit.edu
via nickpsecurity 23 days ago | cached | 2 comments

2
6

Every Good Regulator of a System Must Be a Model of That System (1970) ☶ pdf math security pespmc1.vub.ac.be
via nickpsecurity 24 days ago | cached | 3 comments

3
6

Programming as Theory Building (1985) ☶ pdf historical practices programming pages.cs.wisc.edu
via nickpsecurity 27 days ago | cached | no comments

0
5

Using OpenVMS Clusters for Disaster Tolerance ☶ pdf networking practices security support.hpe.com
via nickpsecurity 29 days ago | cached | no comments

0
3

The sharpSAT #SAT Solver ☶ formalmethods sites.google.com
via nickpsecurity 1 month ago | cached | no comments

0
3

Twelve LaTeX packages to get your paper accepted compsci practices satire andreas-zeller.blogspot.com
via nickpsecurity 1 month ago | cached | 2 comments

2
1

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving ☶ pdf ai formalmethods arxiv.org
via nickpsecurity 1 month ago | cached | 2 comments

2
5

IKOS: Static Analyzer for C/C++ Based on Abstract Interpretation c c++ security github.com
via nickpsecurity 1 month ago | cached | no comments

0
20

Hackers Ship Their Exploits Directly to Target's Mailroom hardware networking practices security techcrunch.com
via nickpsecurity 1 month ago | cached | 4 comments

4
5

Are Lock-Free Concurrent Algorithms Practically Wait-Free? (2014) ☶ pdf formalmethods programming security microsoft.com
via nickpsecurity 1 month ago | cached | 2 comments

2
6

FREE: FPGA-Reinforced Execution Enclaves in the Public Cloud pdf hardware programming security platformlab.stanford.edu
via nickpsecurity 1 month ago | cached | no comments

0
3

Metagol - An Inductive Logic Programming System ai programming github.com
via nickpsecurity 1 month ago | cached | no comments

0
2

The Quest for Formally Secure Compartmentalizing Compilation pdf slides assembly c compilers formalmethods security prosecco.gforge.inria.fr
via nickpsecurity 1 month ago | cached | no comments

0
7

Taking a Long Look at QUIC (2017) pdf networking reversing web conferences.sigcomm.org
via nickpsecurity 1 month ago | cached | no comments

0