/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 joshua.hu
Extracting TLS Session Keys in Burp Proxy à la SSLKEYLOGFILE | Joshua Rogers' Scribbles
| | xakcop.com
Reversing MAGic Remote · random hacks
9.5 parsecs away

Travel
| | [AI summary] An author reverse engineers the proprietary network protocol of a paid set-top box remote app to create a free, open-source alternative with full control and home automation capabilities.
| | blog.kchung.co
Recording and Decrypting SSL Encrypted Traffic
3.1 parsecs away

Travel
| | There comes a time in every engineer's life where it becomes necessary to decrypt SSL/TLS encrypted traffic. Whether it's debugging, security analysis, or just to have plaintext records of traffic, SSL can just get in the way. I recently needed to make a packet capture (pcap) of decrypted SSL
| | blog.ropnop.com
Proxying and Intercepting CLI Tools - ropnop blog
8.9 parsecs away

Travel
| | Sometimes you need to intercept traffic from CLI tools. In this post I cover using Burp to intercept traffic from Java, Python, Node and Go CLIs
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. · GitHub
7.8 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.