Concepedia

Maksym Bortin

MB

Statistics

Publications

5

Citations

340

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 formal methods, software analysis, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationFormal SpecificationCryptographyData SecurityProgram Analysis

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 · 224 citations

Engineering, Verification, Software Engineering +17

Towards verifying ethereum smart contract bytecode in Isabelle/HOL

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

Engineering, Verification, Software Engineering +17

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

Engineering, Information Security, Verification +19

Structured formal development in Isabelle

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

Specification Language, Formal Specification, Engineering +15

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

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

Engineering, Information Security, Verification +19

1–5 of 5