40 citations · 44 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 40 cited
Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly
Tiago Brito, Pedro Lopes, Nuno Santos +1
WebAssembly is a new binary instruction format that allows targeted compiled code written in high-level languages to be executed with near-native speed by the browser's JavaScript…
cs.DB2019★ 4 cited
Antidote SQL: Relaxed When Possible, Strict When Necessary
Pedro Lopes, João Sousa, Valter Balegas +5
Geo-replication poses an inherent trade-off between low latency, high availability and strong consistency. While NoSQL databases favor low latency and high availability, relaxing c…