POPCORN
Introduction
Context of this work
1. Vehicle to grid communication interface: ISO/IEC 15118
Description of the protocol
2. A privacy preserving reengineering: POPCORN
Description of the protocol
This project
Description
A formal proof of the privacy features of POPCORN in proverif