2 papers
cs.CR2016
Secure and trusted white-box verification
Yixian Cai, George Karakostas, Alan Wassyng
Verification is the process of checking whether a product has been implemented according to its prescribed specifications. We study the case of a designer (the developer) that need…
cs.DS2016
Know When to Persist: Deriving Value from a Stream Buffer
Konstantinos Georgiou, George Karakostas, Evangelos Kranakis +1
We consider \textsc{Persistence}, a new online problem concerning optimizing weighted observations in a stream of data when the observer has limited buffer capacity. A stream of we…