Pinned Repositories
adaptiveND
Repo for a natual deduction calculus for adaptive reasoning
ATCTL
Repository associated with "Modelling accuracy and trustworthiness of explaining agents"
CSD2222
ELSmyrtle
rep for myrtle at ELS14
InfoPriv
A Bayesian Network modelling of Informational Privacy for Social Networks based on the NeticaJ API
paranoid
A model to describe information transmission with standard and paranoid agents
programme
SecureNDC
A Coq Library for the SecureND Calculus for Minimal Trust
securendsim
trust4vanet
A formally verified Trust and Reputation Model for VANET
gprimiero's Repositories
gprimiero/SecureNDC
A Coq Library for the SecureND Calculus for Minimal Trust
gprimiero/trust4vanet
A formally verified Trust and Reputation Model for VANET
gprimiero/adaptiveND
Repo for a natual deduction calculus for adaptive reasoning
gprimiero/ATCTL
Repository associated with "Modelling accuracy and trustworthiness of explaining agents"
gprimiero/CSD2222
gprimiero/ELSmyrtle
rep for myrtle at ELS14
gprimiero/InfoPriv
A Bayesian Network modelling of Informational Privacy for Social Networks based on the NeticaJ API
gprimiero/paranoid
A model to describe information transmission with standard and paranoid agents
gprimiero/programme
gprimiero/securendsim
gprimiero/swarmattack
Repo for Swarm Attack ANTS2018
gprimiero/trust4vanet2
NetLogo code for the simulation of black hole style attacks on VANETs