Initial commit

Privacy_Properties/ObsEquOracle_cdrs.py

Privacy_Properties/ObsEquOracle_charge_authorisation.py

Privacy_Properties/ObsEquOracle_credential_installation.py

Privacy_Properties/ObsEquOracle_ev_users_locations.py

Privacy_Properties/daa_pnc_anonymity_cdrs.spthy

...y_Properties/daa_pnc_anonymity_charge_authorisation.spthy

...roperties/daa_pnc_anonymity_credential_installation.spthy

...acy_Properties/daa_pnc_anonymity_ev_users_locations.spthy

Privacy_Properties/daa_pnc_unlinkability_cdrs.spthy

...operties/daa_pnc_unlinkability_charge_authorisation.spthy

...rties/daa_pnc_unlinkability_credential_installation.spthy

...Properties/daa_pnc_unlinkability_ev_users_locations.spthy

README.md

...ity_Properties/daa_pnc_charge_authorisation_offline.spthy

...rity_Properties/daa_pnc_charge_authorisation_online.spthy

Security_Properties/daa_pnc_credential_installation.spthy

Security_Properties/oracle