ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks

Autor: Torres, C., Baden, M., Norvill, R., Pontiveros, B. Fiz, Jonker, H., Mauw, S., Sun, H.-M.

Publikováno v: Sun, H.-M. (ed.), ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October, 2020, pp. 584-597
ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, 584-597
STARTPAGE=584;ENDPAGE=597;TITLE=ASIA CCS '20
Sun, H.-M. (ed.), ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October, 2020, 584-597. New York : ACM
STARTPAGE=584;ENDPAGE=597;TITLE=Sun, H.-M. (ed.), ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October, 2020
Ferreira Torres, C, Baden, M, Norvill, R, Borja Fiz Pontiveros, B, Jonker, H L & Mauw, S 2020, ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks . in ASIA CCS '20 : Proceedings of the 15th ACM Asia Conference on Computer and Communications Security . Association for Computing Machinery (ACM), New York, NY, pp. 584-597, 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, Province of China, 5/10/20 . https://doi.org/10.1145/3320269.3384756
AsiaCCS

In recent years, smart contracts have suffered major exploits, cost- ing millions of dollars. Unlike traditional programs, smart contracts are deployed on a blockchain. As such, they cannot be modified once deployed. Though various tools have been pr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00351c59fe20ad626f9286b63fc422e1
https://hdl.handle.net/2066/225758

Injective synchronisation: An extension of the authentication hierarchy

Autor: Cremers, C.J.F., Mauw, S., de Vink, E.P.

Publikováno v: In Theoretical Computer Science 2006 367(1):139-161

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Man-in-the-middle attacks evolved... but our security models didn’t

Autor: Jonker, H., Mauw, S., Trujillo-Rasua, R., Anderson, J.

Publikováno v: Anderson, J.; Anderson, J. (ed.), Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers, pp. 19-25
Anderson, J.; Anderson, J. (ed.), Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers, 19-25. Cham : Springer
STARTPAGE=19;ENDPAGE=25;ISSN=0302-9743;TITLE=Anderson, J.; Anderson, J. (ed.), Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers

Contains fulltext : 176588.pdf (Author’s version preprint ) (Closed access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::07e75f93c9d148e6ce4207f20d853f66
https://hdl.handle.net/2066/176588

Operational Semantics for MSC'96

Autor: Mauw, S. ^a, Reniers, M.A. ^a

Publikováno v: In Computer Networks 1999 31(17):1785-1799