Main Important Dates Submission Organization Registration Workshop Program

Format Submit original papers (not published or submitted elsewhere) with a maximum of eight pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 6 keywords. The format of your submission must follow the IEEE conference proceedings format.   Submission Please submit your paper at http://paris.utdallas.edu/ssiri10/start/www/ModelCheckingSecureandReliableSystems Or visit the conference website http://paris.utdallas.edu/ssiri10, click on "Paper Submission" in the left menu, and select "Submit papers to Model Checking Secure and Reliable Systems (MoCSeRS)".     Workshop Proceedings and Paper Presentation Accepted submissions will be published by IEEE Press and available in the IEEE digital library. One of the authors needs to register and present the accepted submission. Each paper has 30 minutes, with 20-25minute presentation.   Author Kit for Camera Ready Version (NEW) The information about the Camera Ready Version can be found here.