28 citations · 28 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.GR2026
Generation by lazy and invertible cellular automata over the Klein four-group
Edgar Alcalá-Arroyo, Alonso Castillo-Ramirez, Haobo Ma +1
Let and . We characterize the submonoid of generated by lazy and invertible cellular automata. A cellular automaton belongs to this su…
cs.CR2026
SseRex: Practical Symbolic Execution of Solana Smart Contracts
Tobias Cloosters, Pascal Winkler, Jens-Rene Giesen +2
Solana is rapidly gaining traction among smart contract developers and users. However, its growing adoption has been accompanied by a series of major security incidents, which have…