Geovandro Pereira's starred repositories
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
testing-samples
A collection of samples demonstrating different frameworks and techniques for automated testing
backend-challenges
A public list of open-source challenges from jobs around the world
end-to-end
End-To-End is a crypto library to encrypt, decrypt, digital sign, and verify signed messages (implementing OpenPGP)
fancy-cryptography
Deployments of fancy cryptography
openssl_examples
examples of using OpenSSL
VANETTutorials
Tutorials for VANET YouTube Series (OMNET++, INET, and VEINs)
ns3-SUMO-Interface
Network Simulation for Urban Mobility: Interface between ns-3 and SUMO. The project allow user to control ns-3 LTE module and the UE mobility from SUMO. (developed by Wireless and Mobile Networking Laboratory in National Tsing Hua University)
v2verifier
V2Verifer is an open-source project dedicated to wireless experimentation focused on the security of vehicle-to-vehicle (V2V) communications. This project features the first open-source implementation of the IEEE 1609.2 standard for V2V security.
sqisign-ac20-obsolete
SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
TalkWithTLS
Talk With TLS: [D]TLS usage Samples, Test and much more
FESTA-SageMath
SageMath implementation of the Isogeny-Based PKE FESTA
BMC_RESmart
Decode data files from BMC Medical RESMart GII systems. Reverse-engineered from undocumented data.
asn1-modules
Almost all ASN.1 modules published by the ITU-T, ISO, and the Joint ISO-ITU-T
PQCryptoOnAndroid
PQCrypto sample testing app on Android devices via the libOQS library.
pqc-certificates
Post-quantum cryptography certificates