Cryptography | Christos Kalyvas-Kasopatidishttps://christoskalyvas.eu/profile/tags/cryptography/CryptographyHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2012 00:00:00 +0000https://christoskalyvas.eu/profile/media/sharing.pngCryptographyhttps://christoskalyvas.eu/profile/tags/cryptography/Modeling multiple modes of operation with Alloyhttps://christoskalyvas.eu/profile/publication/2012-alloy-modes-of-operation/Sun, 01 Jan 2012 00:00:00 +0000https://christoskalyvas.eu/profile/publication/2012-alloy-modes-of-operation/