Buhadod

PhD student at the University of Birmingham

Pinned Repositories

_buhadod.github.io
Language:HTML0 2 00
AndroidRemoteAttestationModels
1 3 00
Automated-security-verification-of-IoT-protocols
Automated security verification of IoT protocols using Tamarin Prover
00
buhadod.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
GoodLookingUbuntuTheme
0 2 00
ion-tut
Ionic tutorials
Language:TypeScript0 3 01
lara-tut
Language:PHP0 3 02
php-crud
PHP Crud Example
Language:PHP0 1 00
sgx-aes-gcm
Example on how to use the Intel SGX implementation of AES-GCM
Language:Makefile0 1 00
tamarin-sapic-guide
0 2 00

Buhadod's Repositories

Buhadod/AndroidRemoteAttestationModels
1 3 00
Buhadod/_buhadod.github.io
Language:HTML0 2 00
Buhadod/Automated-security-verification-of-IoT-protocols
Automated security verification of IoT protocols using Tamarin Prover
00
Buhadod/buhadod.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
Buhadod/GoodLookingUbuntuTheme
0 2 00
Buhadod/ion-tut
Ionic tutorials
Language:TypeScript0 3 01
Buhadod/lara-tut
Language:PHP0 3 02
Buhadod/php-crud
PHP Crud Example
Language:PHP0 1 00
Buhadod/sgx-aes-gcm
Example on how to use the Intel SGX implementation of AES-GCM
Language:Makefile0 1 00
Buhadod/tamarin-sapic-guide
0 2 00