Concepedia

Maksym Bortin

MB

Statistics

Publications

5

Citations

348

H-Index

5

Active since

2004

Affiliations

University of Bremen(Current)

Université Paris-Saclay

Commonwealth Scientific and Industrial Research Organisation

Maksym Bortin is an author at University of Bremen specializing in computer science, computing, and formal methods.

Publications per year

2004–2018

5

Publications

5

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2018 · 231 citations

Computing, Computer Science, Computer Systems +8

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2017 · 63 citations

Computing, Computer Science, Computer Systems +8

A first step towards formal verification of security policy properties for RBAC

Michael Drouineaud, Maksym Bortin, Paolo Torrini et al. · International Conference on Quality Software · 2004 · 27 citations

Computing, Computer Science, Computer Systems +17

Structured formal development in Isabelle

Maksym Bortin, Einar Broch Johnsen, Christoph Lüth · 2006 · 16 citations

Computing, Computer Science, Formal Methods +15

A first step towards formal verification of security policy properties for RBAC

Michael Drouineaud, Maksym Bortin, P. Torrini et al. · 2004 · 11 citations

Computing, Computer Science, Computer Systems +17

1–5 of 5