Revised Selected Papers of the 6th International Symposium on Foundations and Practice of Security - Volume 8352 Conference Paper