barbie's notes
barbie's notes
my not-professional-at-all blog
start
oldies
/me
IRL
credits
RSS
Reading articles in haskell
2018
2018-07-02
Prolog vs Haskell
Tags
firmware
low level
platform
SMM
prolog
haskell
binary analysis
reversing
hardware
smt solvers
malware
talks
bios
research
science
misc
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