Beast code in Giters

Nicolae Paladi's repositories

Threat Model and security review of the Aeternity Blockchain

000

ProVerif verification script for the dbsp protocol

010

Smarty Demonstrator

Language:C010

Code samples for using Python on Google Cloud Platform

Language:PythonApache-2.0000

id2210 Decentralized Search Project

Language:Java020

Language:TeX000

An open source, portable, easy to use, readable and flexible SSL library

Language:CNOASSERTION010

Personal page

Language:HTML010

Software Development Kit to enable remotely retrieval and verify target platforms integrity

Language:Java010

Language:C000

p2p_course_matters

010

Language:C000

extending and improving the trusted computing project from https://code.google.com/p/trusted-computing-project/

Language:C010