When importless becomes meaningful. - Tomás Tauber (SPLASH (Companion Volume), 2014)

Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects. - Tomás Tauber; Xuan Bi; Zhiyuan Shi; Weixin Zhang; Huang Li; Zhenrui Zhang; Bruno C. d. S. Oliveira (APLAS, 2015)

Modular architecture for code and metadata sharing. - Tomás Tauber; Bruno C. d. S. Oliveira (MODULARITY, 2016)

ECDSA-compatible Delegable Undeniable Signature. - Sam Ng; Tomás Tauber (ICETE (2), 2019)

ECDSA-Compatible Privacy Preserving Signature With Designated Verifier. - Sam Ng; Tomás Tauber; Leslie Cheung (CSP, 2021)