Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Cees-Bart Breunesse · SciRah

Researcher profile · Semantic Scholar

Cees-Bart Breunesse

Share profile

Cees-Bart Breunesse — researcher profile on SciRah

h-index: 6
Works: 13
Citations: 154

Most-cited papers

Formal methods for smart cards: an experience report
Cees-Bart Breunesse, Néstor Cataño, M. Huisman, B. Jacobs
2005Science of Computer Programming62 citations Open access
Semantic Scholar
Verifying JML specifications with model fields
Cees-Bart Breunesse, E. Poll
200327 citations
Semantic Scholar
Specifying and Verifying a Decimal Representation in Java for Smart Cards
Cees-Bart Breunesse, B. Jacobs, J. van den Berg
2002International Conference on Algebraic Methodology and Software Technology19 citations
Semantic Scholar
Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection
Pantea Kiaei, Cees-Bart Breunesse, Mohsen Ahmadi, P. Schaumont +1 more
2020Design Automation Conference12 citations Open access
Semantic Scholar
Gate-Level Side-Channel Leakage Assessment with Architecture Correlation Analysis
Pantea Kiaei, Y. Yao, Zhenyu Liu, Nicole Fern +6 more
2022arXiv.org7 citations Open access
Semantic Scholar
Verification of Power-based Side-channel Leakage through Simulation
Yuan Yao, P. Schaumont, J. V. van Woudenberg, Cees-Bart Breunesse +2 more
2020Midwest Symposium on Circuits and Systems7 citations
Semantic Scholar
Gate-Level Side-Channel Leakage Ranking With Architecture Correlation Analysis
Pantea Kiaei, Y. Yao, Zhenyu Liu, Nicole Fern +6 more
2024IEEE Transactions on Emerging Topics in Computing4 citations
Semantic Scholar
Towards Fully Automated Analysis of Whiteboxes: Perfect Dimensionality Reduction for Perfect Leakage
Cees-Bart Breunesse, Ilya Kizhvatov, Ruben Muijrers, A. Spruyt
2018IACR Cryptology ePrint Archive4 citations
Semantic Scholar
Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance
S. Aftabjahani, M. Tehranipoor, Farimah Farahmandi, Bulbul Ahmed +10 more
2023IEEE VLSI Test Symposium3 citations
Semantic Scholar
Voting using Java Card smart cards: A case study
Cees-Bart Breunesse, B. Jacobs, Oostdijk
20023 citations
Semantic Scholar
On the Role of Invariants in Reasoning about Object-Oriented Languages
J. van den Berg, Cees-Bart Breunesse, B. Jacobs, E. Poll
20013 citations
Semantic Scholar
Improving CPU Fault Injection Simulations: Insights from RTL to Instruction-Level Models
J. V. van Woudenberg, Rajesh Velegalati, Cees-Bart Breunesse, Dennis Vermoen Riscure
2024Workshop on Fault Diagnosis and Tolerance in Cryptography2 citations
Semantic Scholar
Differential Fault Analysis Using Symbolic Execution
J. V. van Woudenberg, Cees-Bart Breunesse, Rajesh Velegalati, Panasayya Yalla +1 more
20172 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

J. V. van Woudenberg×5
Invite
J. V. van Woudenberg — researcher profile on SciRah
B. Jacobs×4
Invite
B. Jacobs — researcher profile on SciRah
P. Schaumont×4
Invite
P. Schaumont — researcher profile on SciRah
Pantea Kiaei×3
Invite
Pantea Kiaei — researcher profile on SciRah

×3

Invite

Nicole Fern — researcher profile on SciRah

Rajesh Velegalati×3

Invite

Rajesh Velegalati — researcher profile on SciRah

Invite

E. Poll — researcher profile on SciRah

J. van den Berg×2

Invite

J. van den Berg — researcher profile on SciRah

J. V. Woudenberg×2

Invite

J. V. Woudenberg — researcher profile on SciRah

Invite

Y. Yao — researcher profile on SciRah

Invite

Zhenyu Liu — researcher profile on SciRah

Invite

Kate Gillis — researcher profile on SciRah