Provable Security: 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings (Lecture Notes in Computer Science, Band 11192)
Der Band der 12. ProvSec‑Konferenz aus Jeju enthält 424 Seiten mit aktuellen Arbeiten zur sicheren Kryptografie, von formalen Beweisen bis zu praxi ...