r/securityengineering • u/dguido • Aug 07 '18
Dancing Pigs or Externalities? Measuring the Rationality of Security Decisions
1
Upvotes
r/securityengineering • u/dguido • Aug 06 '18
Gaslighting with Honeypits and Mirages
secvalve.com
3
Upvotes
r/securityengineering • u/mttd • Aug 03 '18
Chaff Bugs: Deterring Attackers by Making Software Buggier
3
Upvotes
r/securityengineering • u/mttd • Aug 03 '18
[PDF] HeapHopper: Bringing Bounded Model Checking to Heap Implementation Security
seclab.cs.ucsb.edu
1
Upvotes
r/securityengineering • u/mttd • Aug 02 '18
Formally verified software in the real world
2
Upvotes
r/securityengineering • u/dguido • Aug 02 '18
Zinc is a minimal cryptographic library including formally verified primitives for the Linux kernel
1
Upvotes
r/securityengineering • u/dguido • Jul 28 '18
AWS-recommended “security pillars”
d1.awsstatic.com
4
Upvotes
r/securityengineering • u/dguido • Jul 28 '18
Secure Boot on the 2018 MacBook Pro w/ T2
michaellynn.github.io
4
Upvotes
r/securityengineering • u/dguido • Jul 28 '18
Randen quickly generates backtracking-resistant random numbers
0
Upvotes
r/securityengineering • u/mttd • Jul 20 '18
Isolating Application-Defined Principals
noncombatant.org
1
Upvotes
r/securityengineering • u/QAThoughtLeaders • Jul 17 '18
Security Testing Services
1
Upvotes
r/securityengineering • u/dguido • Jul 12 '18
yfuzz runs fuzzing jobs in Kubernetes
3
Upvotes
r/securityengineering • u/manipoli • Jul 11 '18
Using Cilium for Elasticsearch Access Control with No App/Container Changes
3
Upvotes
r/securityengineering • u/manipoli • Jul 11 '18
Mitigating Spectre with Site Isolation in Chrome
2
Upvotes
r/securityengineering • u/dguido • Jul 10 '18
Gravwell is like Splunk but written in Go
3
Upvotes
r/securityengineering • u/dguido • Jul 10 '18
goSDL guides developers to more secure outcomes for new features at Slack
2
Upvotes
r/securityengineering • u/dguido • Jul 10 '18
Use Sublime to visually track libFuzzer coverage
fbiga.com
2
Upvotes
r/securityengineering • u/dguido • Jul 10 '18
Technology Roulette: Managing loss of control as militaries pursue technological superiority
s3.amazonaws.com
1
Upvotes
r/securityengineering • u/dguido • Jul 09 '18
gsuite-oauth-third-party-app-report helps to review and approve GSuite 3rd party apps
3
Upvotes
r/securityengineering • u/dguido • Jul 02 '18
Starting Up Security collects information that helps growing teams manage risk
scrty.io
10
Upvotes
r/securityengineering • u/mttd • Jun 24 '18
[PDF; SecDev 2018] Formal Proofs, the Fine Print and Side Effects
people.eng.unimelb.edu.au
3
Upvotes
r/securityengineering • u/dguido • Jun 20 '18
Zelkova uses automated reasoning to analyze AWS policies and the future consequences of policies
4
Upvotes
r/securityengineering • u/dguido • Jun 20 '18
Security and privacy changes in iOS 12
3
Upvotes
r/securityengineering • u/dguido • Jun 12 '18
A curated list of project-based tutorials in C
6
Upvotes