-
1
Traceable policy-based signatures and instantiation from lattices
Published 2022Get full text
Journal Article -
2
Aquaculture in coastal urbanized areas : a comparative review of the challenges posed by Harmful Algal Blooms
Published 2021Get full text
Journal Article -
3
NPC: neuron path coverage via characterizing decision logic of deep neural networks
Published 2022Get full text
Journal Article -
4