Social sign-on and social sharing are becoming an ever more popular feature of web
applications. This success is largely due to the APIs and support offered by prominent social …

The past ten years has seen increasing calls to make security research more “scientific”. On
the surface, most agree that this is desirable, given universal recognition of “science” as a …

Information Security–protecting information in potentially hostile environments–is a crucial
factor in the growth of information-based processes in industry, business, and …

Formal Methods for Security Page 1 Report on the NSF Workshop on Formal Methods for
Security Stephen Chong Harvard University Joshua Guttman Worcester Polytechnic Institute …

The diffusion of service-based and cloud-based systems has created a scenario where
software is often made available as services, offered as commodities over corporate …

At present, the world is going to become more digital. As every person using the internet
today, a huge amount of data gets generated day-today. The data are very essential with …

This dissertation builds a compositional cyber-physical systems theory to develop concrete
semantics relating the above diverse views necessary for safety and security assurance. In …

Protecting energy consumers's data and privacy is a key factor for the further adoption and
diffusion of smart grid technologies and applications. However, current smart grid initiatives …

Recent studies reveal that an adversary might trace the apparently insignificant traffic rate of
source nodes over the net and turn such data to invaluable information so as to breach the …

The massive adoption of Machine Learning (ML) has deeply changed the internal structure,
the design and the operation of software systems. ML has shifted the focus from code to …