Modern web applications often suffer from command injection attacks such as Cross-Site Script-ing and SQL Injection. Even equipped with sanitation code, many systems can still be penetrated due to the existence of software bugs (see e.g., the Samy Worm). It is desirable to automatically discover such vulner-abilities, given the bytecode of a web… (More)
Welcome to the first issue of the Journal of Robotic Surgery, an exciting new quarterly publication dedicated to robotic applications in surgery. Surgery has traditionally been a specialty within the medical profession that has revolved around invasive procedures to treat various maladies. Initially, trauma induced by the therapeutic procedure was necessary… (More)
This guide is for authors who are preparing papers for Formal Aspects of Computing using the L a T E X document preparation system and the FAC style le.