Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  apple  google  theverge.com  show  trump  go  security  neuroscience  china  arstechnica.com  psychology  psypost.org  linux  nature.com  brain  microsoft 

Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code

58 days ago galois.com formalmethods release reversing security

Crux, a Precise Verifier for Rust

6 months ago crux.galois.com rust

A Visual Guide to Pointer Analysis with Cclyzer++: Part 2

2 years ago galois.com

MATE: Interactive Program Analysis with Code Property Graphs

2 years ago galois.com

cclyzer++: Scalable and Precise Pointer Analysis for LLVM

2 years ago galois.com llvm

You Already Know Formal Methods

3 years ago galois.com

Actually, You Are Rolling Your Own Crypto

4 years ago galois.com

Automated Reasoning as an Annoying Child

4 years ago galois.com

Proofs Should Repair Themselves

4 years ago galois.com

Crux: a new open-source tool for Rust/C++ software verification

4 years ago galois.com c++ rust

Crux: a tool for improving the assurance of software using symbolic testing

4 years ago crux.galois.com

Announcing the ‘blst’ BLS verification project

4 years ago galois.com

What4: A library to help build verification and program analysis tools

4 years ago galois.com

Formal Methods and the KRACK Vulnerability

7 years ago galois.com

Matterhorn terminal client for Mattermost chat

7 years ago galois.com

LandHere

8 years ago landhere.galois.com

Probabilistic Programming Summer School 2017

8 years ago ppaml.galois.com

Galois is hiring

8 years ago galois.com

Developing Erlang at Yahoo (2008)

8 years ago cufp.galois.com erlang yahoo

Applying Satisfiability to the Analysis of Cryptography

9 years ago galois.com

Announcing the Software Analysis Workbench

9 years ago galois.com

SAW – Software Analysis Workbench Open-Sourced

9 years ago saw.galois.com

Probabilistic Programming for Advancing Machine Learning

10 years ago ppaml.galois.com

Modifying an Off-the-Shelf Wireless Router for PDF Ballot Tampering [pdf]

10 years ago galois.com pdf