Concepedia

Bernardo David

BD

7

Publications

223

Citations

7

H-Index

2011

Active since

Affiliations

Aarhus University(Current)

Universidade de Brasília

Bernardo David is an author at Aarhus University specializing in engineering, formal verification, and data security.

ORCID

Top concepts

Publications per year

2011–2022

7

Publications

7

A Formal Classification of Internet Banking Attacks and Vulnerabilities

Laerte Peotta de Melo, Marcelo Holtz, Bernardo David et al. · International Journal of Computer Science and Information Technology · 2011 · 53 citations · Full text

A Provably Secure Proof-of-Stake Blockchain Protocol

Aggelos Kiayias, Ioannis Konstantinou, Alexander Russell et al. · IACR Cryptology ePrint Archive · 2016 · 42 citations

, , +7

Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol.

Bernardo David, Peter Gaži, Aggelos Kiayias et al. · IACR Cryptology ePrint Archive · 2017 · 38 citations

, , +8

Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions

Masayuki Abe, Melissa Chase, Bernardo David et al. · Journal of Cryptology · 2015 · 30 citations · Full text

, , +4

GearBox

Bernardo David, Bernardo Magri, Christian Matt et al. · Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security · 2022 · 24 citations · Full text

Rows per page

1–5 of 7