Aj MaChInE
56
Seguidores
Personal Information
Acerca de
@若渴, Geek, Freelancer
Etiquetas
bopc
dop
doa
red team
dotnet
.net
netspectre
spectre
cache-side channel attack
adversary evaluation tools
nyuzi
ghrd
gsrd
fpga
sockit
side channel attacks
malware av
mining pools
double-spending attacks
transaction malleability
attacks targeting mining
eclipse attacks
consensus
bitcoin
window shellcode
formal verfication
concurrenecy
code reuse attacks
gpgpu
cuda
information-security
information security
Ver más
- Presentaciones
- Documentos
- Infografías
[若渴計畫] Introduction: Formal Verification for Code
Aj MaChInE
•
Hace 5 años