Conferences In Information Security
| Conference Name | 5th International Workshop on Systems Software Verification (SSV ’10) |
|---|---|
| Venue | Vancouver, BC, Canada |
| URL | http://www.usenix.org/events/ssv10/cfp/ssv10cfp.pdf |
| Submission Deadline | June 4, 2010, |
| Conference Date | October 6–7, 2010 |
| Sponsership/Publisher | Secutity workshop of USENIX |
| Aim/Scope/Research Area |
Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, and static analysis techniques, as well as correctness by design, correctness by contract, and model-driven development. However, many techniques are working under restrictive assumptions that are invalidated by complex embedded systems software such as operating system kernels, low-level device drivers, or microcontroller code.
The aim of this workshop is to bring together researchers and developers from both academia and industry who are facing real software and real problems with the goal of finding real, applicable solutions. By “real” we mean problems such as time-to-market or reliability that the industry is facing. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic, toy version of it. In this workshop we will discuss software analysis and development techniques and tools; this forum will serve as a platform to discuss open problems and future challenges in dealing with existing and upcoming systems-level code. This will be a 1.5-day workshop, beginning on the afternoon of October 6, 2010, and running through October 7, 2010. Topics Topics include but are not limited to: • Model checking • Automated and interactive theorem proving • Static analysis • Automated testing • Model-driven development • Embedded systems development • Programming languages • Verifying compilers • Software certification • Software tools • Experience reports |