Proceedings:

4 works in by Christian Sorel from ISEC 2011 and 2014, page 1