Items where City Author is "Brain, Martin"
![[up]](/style/images/multi_up.png)
Up a level
Barlik, M. & Brain, M. 
ORCID: 0000-0003-4216-7151 (2025).
Comparative Analysis of SMT Solvers for Differential Cryptanalysis of SHA-2.
In:
CEUR Workshop Proceedings.
SMT 2025: 23rd International Workshop on Satisfiability Modulo Theories, 10-11 Aug 2025, Glasgow, UK.
Howe, J. M. ORCID: 0000-0001-8013-6941, Brain, M. ORCID: 0000-0003-4216-7151 & Gàmez-Montolio, A. (2025).
Evaluating Binary Polynomials using Subpolynomials.
In:
CEUR Workshop Proceedings.
SMT 2025: 23rd International Workshop on Satisfiability Modulo Theories, 10-11 Aug 2025, Glasgow, UK.
Brain, M. ORCID: 0000-0003-4216-7151 & Polgreen, E. (2024).
A Pyramid Of (Formal) Software Verification.
In:
Lecture Notes in Computer Science.
26th International Symposium, FM 2024, 9-13 Sep 2024, Milan, Italy.
doi: 10.1007/978-3-031-71177-0_24
Brain, M. ORCID: 0000-0003-4216-7151 & Malkawi, M. (2024).
Misconceptions about Loops in C.
In:
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis.
SOAP '24: 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 25 Jun 2024, Copenhagen, Denmark.
doi: 10.1145/3652588.3663324
Gàmez-Montolio, A., Florit, E., Brain, M. ORCID: 0000-0003-4216-7151 & Howe, J. M. ORCID: 0000-0001-8013-6941 (2024).
Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials.
Paper presented at the Workshop on Binary Analysis Research, 1 Mar 2024, San Diego, USA.
doi: 10.14722/bar.2024.23014
Brain, M. ORCID: 0000-0003-4216-7151, Cid, C., Player, R. & Robson, W. (2023).
Verifying Classic McEliece: Examining the Role of Formal Methods in Post-Quantum Cryptography Standardisation.
In:
Code-Based Cryptography.
10th International Workshop, CBCrypto 2022, 29-30 May 2022, Trondheim, Norway.
doi: 10.1007/978-3-031-29689-5_2
Barbosa, H., Barrett, C., Brain, M. ORCID: 0000-0003-4216-7151 , Kremer, G., Lachnitt, H., Mann, M., Mohamed, A., Mohamed, M., Niemetz, A., Nötzli, A., Ozdemir, A., Preiner, M., Reynolds, A., Sheng, Y., Tinelli, C. & Zohar, Y. (2022).
cvc5: A Versatile and Industrial-Strength SMT Solver.
In:
Tools and Algorithms for the Construction and Analysis of Systems.
28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 2–7 Apr 2022, Munich, Germany.
doi: 10.1007/978-3-030-99524-9_24
Brain, M. ORCID: 0000-0003-4216-7151 (2021).
Further steps down the wrong path: Improving the bit-blasting of multiplication.
In:
Ceur Workshop Proceedings.
19th International Workshop on Satisfiability Modulo Theories, 18-19 Jul 2021, Online.
Brain, M. ORCID: 0000-0003-4216-7151, Niemetz, A., Preiner, M. , Reynolds, A., Barrett, C. & Tinelli, C. (2019).
Invertibility Conditions for Floating-Point Formulae.
In: Dillig, I. & Tasiran, S. (Eds.),
Computer Aided Verification. CAV 2019.
Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. & Sun, Y. (2019).
Building Better Bit-Blasting for Floating-Point Problems.
Tools and Algorithms for the Construction and Analysis of Systems, 11427,
pp. 79-98.
doi: 10.1007/978-3-030-17462-0_5
Yamaguchi, T., Brain, M. ORCID: 0000-0003-4216-7151, Ryder, C. , Imai, Y. & Kawamura, Y. (2019).
Application of Abstract Interpretation to the Automotive Electronic Control System.
Lecture Notes in Computer Science (VMCAI 2019: Verification, Model Checking, and Abstract Interpretation), 11388,
pp. 425-445.
doi: 10.1007/978-3-030-11245-5_20
Schrammel, P., Kroening, D., Brain, M. ORCID: 0000-0003-4216-7151 , Martins, R., Teige, T. & Bienmüller, T. (2017).
Incremental bounded model checking for embedded software.
Formal Aspects of Computing, 29(5),
pp. 911-931.
doi: 10.1007/s00165-017-0419-1