1. Provable security : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings /: 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings. (2018) Editors: Baek, Joonsang; Susilo, Willy; Kim, Jongkil Other Names: ProvSec (Conference), 12th Record Type: Book Extent: 1 online resource (xi, 424 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗