Archives for INGI

"Tell Me How You Move, I Will Tell You Who You Are: Latest Advances in Location Privacy Protection Mechanisms" by Sonia Ben Mokhtar, LIRIS/INSA Lyon. The widespread adoption of continuously connected smartphones and tablets drove the adoption of mobile applications, among which many use...

Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management by Dominique Devriesse, KUL Capability machines provide security guarantees at machine level which makes them an interesting target for secure compilation schemes that provably enforce...

Software Requirements Engineering: A Risk-Driven Approach Requirements Engineering (RE) is concerned with t he elicitation, evaluation, specification, analysis and evolution of the requirements on a software-intensive system. Risk analysis at RE time aims at an ticipating adverse conditions...

Many programmers use programming tools but hesitate to modify them to accommodate challenging scenarios—taking on the role of a tool builder seems too costly, maybe not even rewarding. We propose a new perspective on graphical tools and provide a framework to build and modify such tools with a...