barbie's notes
barbie's notes
my not-professional-at-all blog
start
oldies
/me
IRL
credits
RSS
Reading articles in talks
2018
2018-10-04
Logic & binaries
Tags
prolog
low level
platform
SMM
haskell
firmware
binary analysis
reversing
hardware
smt solvers
malware
talks
research
science
misc
bios
Recent
How Do I Do Research?
SMMMmmmm - when root is not enough
Learning about the BIOS
Logic & binaries
Firmware 101 - How to get the code
Hardware 101 - I have this $device... and now?
/me on reverse engineering
Tinkering the memory
Prolog vs Haskell
PROLOG - Part 8