Blog of the systems and security lab at EPITA, covering low-level topics like emulation, reverse engineering, SAT/SMT solving and the C! language.
HN links it for its systems programming and security write-ups, such as inverting hash functions with SAT/SMT solvers and the C! language introduction.
DEFCON CTF teams with points: 303 (http://ddtek.biz/qualsDC20scoreboard.html)
CSAW CTF teams with points: 639
STRIPE CTF competitors: ~7,000
CSAW CTF competitors: ~9,100
Writeups are being posted in reddit.com/r/netsec:
http://raidersec.blogspot.com/2012/09/csaw-ctf-quals-2012-recon-1-3-writeup.html
http://blog.lse.epita.fr/articles/31-csaw-ctf-2012-exploitation-200300400500-writeups.html
A follow-up to the introduction article:
http://blog.lse.epita.fr/articles/12-c---system-oriented-programming.html
This new article is quick introduction to C! (a system oriented programming language) syntax.
Related: Inverting hash functions using SAT and SMT solvers [0]
[0] https://blog.lse.epita.fr/2012/07/31/using-sat-and-smt-to-defeat-simple-hashing-algorit.html
http://blog.lse.epita.fr/