- Paris, France
-
22:02
- 2h ahead - https://nadim.computer
- https://orcid.org/0000-0001-6756-7253
- @kaepora
- @[email protected]
- @nadim.computer
Highlights
- Pro
Pinned Loading
-
symbolicsoft/verifpal
symbolicsoft/verifpal PublicCryptographic protocol analysis for real-world protocols.
-
symbolicsoft/noiseexplorer
symbolicsoft/noiseexplorer PublicOnline engine for reasoning about the Noise Protocol Framework.
-
symbolicsoft/kyber-k2so
symbolicsoft/kyber-k2so PublicGo implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM.
786 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
nadimkobeissi/pets-speed-mentoring,
nadimkobeissi/binkybox,
nadimkobeissi/mkbsd
and 7 other
repositories
Loading
Contribution activity
April 2025
9
contributions
in private repositories
Apr 1 – Apr 3