In this paper we propose a new strong and perfectly key-insulated signature scheme, more efficient than previous proposals and whose key length is constant and independent of the n...
Enterprise Applications are increasingly moving towards providing web access to their users through "thin clients". There is a strong case for their integration using we...
Vishnu S. Pendyala, Simon S. Y. Shim, Jerry Z. Gao
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
Abstract. SIOC provides the Semantic Web with a vocabulary for representing the state of online communities at a given time. However, a number of web application put a strong empha...
Question answering systems rely on retrieval components to identify documents that contain an answer to a user’s question. The formulation of queries that are used for retrieving...