Timmy Weerwag

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 7

Top Topics

Expressive Power

Relational Calculus

Data Complexity

Automated Theorem Provers

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Freek Verbeek, Abhijith Bharadwaj, Joshua A. Bockenek, Ian Roessle, Timmy Weerwag, Binoy Ravindran
X86 instruction semantics and basic block symbolic execution. Arch. Formal Proofs 2021 (2021)
Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk
A Coq proof of the correctness of X25519 in TweetNaCl. CSF (2021)
Peter Schwabe, Benoît Viguier, Timmy Weerwag, Freek Wiedijk
A Coq proof of the correctness of X25519 in TweetNaCl. IACR Cryptol. ePrint Arch. 2021 (2021)
Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag
MATLANG: Matrix operations and their expressive power. SIGMOD Rec. 48 (1) (2019)
Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag
On the Expressive Power of Query Languages for Matrices. ACM Trans. Database Syst. 44 (4) (2019)
Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag
On the Expressive Power of Query Languages for Matrices. ICDT (2018)
Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag
On the expressive power of query languages for matrices. CoRR (2017)