• Home
  • Archives
  • Categories
  • Tags
  • About
25 posts and counting...

2019

04-28-2019

The Ultimate Low-Budget Ergonomic Hacker Battlestation

02-11-2019

Investing in a Good Note-Taking Application

2018

11-14-2018

Time-Travel Debugging in PANDA

05-27-2018

Sunset of Eden: Sci-Fi Short Story Based on the Three-Body Problem

05-14-2018

DEF CON Quals 2018: It's a Me

01-23-2018

My Favorite Films of All Time

2017

12-20-2017

Formal Verification: The Gap Between Perfect Code and Reality

12-04-2017

Using the LLVM MC Disassembly API

09-25-2017

Formal Reasoning in Coq — a Beginner's Guide

09-11-2017

Matasano Crypto Challenges, Set 7

08-13-2017

Protips for Speed (And Reducing RSI) for Programmers or Mac Users

05-23-2017

Looking Towards Summer: Concolic Execution, Fuzzy Panda, and More

05-21-2017

Matasano Crypto Challenges, Set 6

05-03-2017

DEF CON CTF Qualifier 2017

05-03-2017

Generating and Interpreting Bytecode for MITScript — Using Rust

04-21-2017

Matasano Crypto Challenges, Set 5

04-15-2017

Writing a C++ Interpreter for MITScript

04-04-2017

Upcoming Blog Posts — Stay Tuned!

03-14-2017

Starting a New Security Club at MIT

03-07-2017

Matasano Crypto Challenges, Set 1

03-07-2017

Matasano Crypto Challenges, Set 3

03-07-2017

Matasano Crypto Challenges, Set 2

03-07-2017

Matasano Crypto Challenges, Set 4

03-07-2017

Flex and Bison for a Simple Language, MITScript

2015

12-12-2015

NSA Cybersprint 2015

Categories

  • CTF3
  • Creative Writing1
  • Crypto7
  • Formal Methods2
  • Languages4
  • Meta5
    • Research1
  • Reviews1
    • Film1
  • TechSec1
  • Tooling1

Tags

  • 6.0353
  • Best of1
  • Coq2
  • Ergonomics1
  • LLVM1
  • Panda3
  • Program Analysis1
  • Sci-fi1
  • Symbolic Execution1
  • TechSec2
  • cryptopals7
  • writeups2
  • x861

Tag Cloud

6.035 Best of Coq Ergonomics LLVM Panda Program Analysis Sci-fi Symbolic Execution TechSec cryptopals writeups x86

Archives

  • April 20191
  • February 20191
  • November 20181
  • May 20182
  • January 20181
  • December 20172
  • September 20172
  • August 20171
  • May 20174
  • April 20173
  • March 20176
  • December 20151

Recent Posts

  • The Ultimate Low-Budget Ergonomic Hacker Battlestation
  • Investing in a Good Note-Taking Application
  • Time-Travel Debugging in PANDA
  • Sunset of Eden: Sci-Fi Short Story Based on the Three-Body Problem
  • DEF CON Quals 2018: It's a Me

Powered by Hexo and Hexo-theme-hiker

Copyright © 2019 Ray Wang. All Rights Reserved.

设置



Toggle font size
Toggled font size
Toggle night view
Press again to switch views
      About      
Tack, Hunt, Pool
Copyright © 2019 Ray Wang All Rights Reserved.