Noble cryptography
Paul Miller. I make projects which help developers to build awesome things
CERT/CC’s VINCE Platform Enables Collaboration on Software Vulnerabilities | CMU Software Engineering Institute
The SEI’s CERT Coordination Center (CERT/CC) debuted a web-based collaboration platform for coordinated vulnerability disclosure called the Vulnerability Information and Coordination Environment (VINCE) in June.
Verified.Quest
Below you will find answers to the most common questions about this project, instructions for requesting verification, and details on how to see badges on the Officially Verified accounts in your feed.
. · openai/ten-proofs@94bc0fe
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@94bc0fe
. · openai/ten-proofs@5a102c1
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1
. · openai/ten-proofs@e9dce9a
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@e9dce9a
badge.blue — CID-First Attestation Specification
Specification for CID-first attestations on AT Protocol records. Inline and remote cryptographic signatures with replay-attack prevention.
Tutorial: Introduction to Formal Verification with Lean (Part 1) - HashCloak
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
Software Security Engineer — Andrew Lilley Brinker
I’m a Principal Engineer at MITRE helping people make informed decisions about the software they depend on. I lead Hipcheck and contribute to the CVE system.
Crypto 101
Crypto 101 is an introductory course on cryptography, freely available for programmers of all ages and skill levels.
imput
We develop private, efficient, and respectful software. We also do security research, reverse engineering, and develop network services.
. · openai/ten-proofs@d0e1ae7
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7
A Spectrum of Consent
Blockchain & Decentralized Identity Architect — Internet Cryptography Pioneer — Co-author TLS Security Standard — Collaborative Tools & Patterns
Developer Ecosystems for Software Safety
How to design and implement information systems so they are safe and secure is a complex topic. Both high-level design principles and implementation guidance for software safety and security are well established and broadly accepted. For example, Jerome Saltzer and Michael Schroeder’s seminal overview of principles of secure design was published almost 50 years ago,10 and various community and governmental bodies have published comprehensive best practices about how to avoid common software weaknesses—for example, Common Weakness Enumeration (CWE)a and Open Worldwide Application Security Project (OWASP) Cheat Sheet Series.b
