POST 2012 - The First Conference on Principles of Security and Trust
View: 726
Website http://web.cs.wpi.edu/~guttman/post12/ |
Edit Freely
Category POST 2012
Deadline: October 14, 2011 | Date: March 25, 2012-March 31, 2012
Venue/Country: Tallinn, Estonia
Updated: 2011-07-26 17:47:35 (GMT+9)
Call For Papers - CFP
Principles of Security and Trust is a broad forum related to the theoretical and foundational aspects of security and trust. Papers of many kinds are welcome: new theoretical results, practical applications of existing foundational ideas, and innovative theoretical approaches stimulated by pressing practical problems.POST combines and replaces a number of successful and longstanding workshops in this area: Automated Reasoning and Security Protocol Analysis (ARSPA), Formal Aspects of Security and Trust (FAST), Security in Concurrency (SecCo), and the Workshop on Issues in the Theory of Security (WITS). A subset of these events met jointly as an event affiliated with ETAPS in 2011 under the name Theory of Security and Applications (TOSCA).POST is now a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2012 is the 15th joint conference in this series.Call for PapersWe seek submissions proposing theories to clarify security and trust within computer science; submissions establishing new results in existing theories; and also submissions raising fundamental concerns about existing theories. We welcome new techniques and tools to automate reasoning within such theories, or to solve security and trust problems. Case studies that reflect the strengths and limitations of foundational approaches are also welcome, as are more exploratory presentations on open questions.Areas of interest include:Access control Anonymity AuthenticationAvailability Cloud security ConfidentialityCovert channels Crypto foundations Economic issuesInformation flow Integrity Languages for securityMalicious code Mobile code Models and policiesPrivacy Provenance Reputation and trustResource usage Risk assessment Security architecturesSecurity protocols Trust management Web service securityProductive techniques have included automated reasoning, compositionality and transformation, language-based methods, logical formalization, quantitative methods, and static analysis.Rebuttal phaseAuthors will be given a 60 hour period to read and respond to the reviews of their papers before the PC meeting. This process will not, however, provide additional iterations.Submission GuidelinesPapers must be written in English, unpublished and not submitted for publication elsewhere. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series (currently pending).Submissions must be in PDF format, formatted in the LNCS style (as specified on this page) and at most 20 pages long. The 20 pages must include references and all material intended for publication.Additional material, that is not to be included in the final version, but may help assessing the merits of the submission - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices, and papers must be understandable without them.Papers are submitted via the Easychair conference management system at this page (not yet open).A special issue of the Journal of Computer Security will be devoted to selected papers of POST 2012. Submissions will be solicited after the meeting.Important Dates7 October 2011: Submission deadline for abstracts (strict)14 October 2011: Submission deadline for full papers (strict)28 November 2011: Rebuttal phase begins30 November 2011: Rebuttal phase ends16 December 2011: Notification of acceptance6 January 2012: Camera-ready versions dueThe submission deadline for papers is strict (site will close at 23:59 GMT-11). Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the full paper deadline will be considered as withdrawn.Invited SpeakerCynthia Dwork, Microsoft ResearchProgramme CommitteeCo Chairs: Pierpaolo Degano, Università di Pisa (Italy)Joshua Guttman, Worcester Polytechnic Institute (USA)Michael Backes, Saarland and MPI-SWS, DEAnindya Banerjee, IMDEA Software Institute, ESGilles Barthe, IMDEA Software Institute, ESDavid Basin, ETH Zurich, CHVeronique Cortier, CNRS, Loria, FRPierpaolo Degano, Università di Pisa, ITAndrew Gordon, Microsoft Research and University of Edinburgh, UKJoshua Guttman, WPI, USARalf Küsters, Universität Trier, DESteve Kremer, INRIA, ENS Cachan, FRPeeter Laud, Cybernetica AS and University of Tartu, EEGavin Lowe, Oxford University, UKHeiko Mantel, Technische Universität Darmstadt, DESjouke Mauw, Université du Luxembourg, LUCatherine Meadows, NRL, USAJohn C Mitchell, Stanford, USASebastian Mödersheim, DTU, DKCarroll Morgan, University of New South Wales, AUMogens Nielsen, University of Aarhus, DKCatuscia Palamidessi, INRIA, École Polytechnique, FRAndrei Sabelfeld, Chalmers, SENikhil Swamy, MSR, USALuca Viganò, Università di Verona, ITSteering CommitteeChair: Gilles Barthe, ESMartin AbadiMicrosoft Research, UC Santa Cruz, and Collège de France Gilles BartheIMDEA Software Institute David BasinETH Zurich Pierpaolo DeganoUniversità di PisaTheo DimitrakosBT Riccardo FocardiUniversità di Venezia Joshua GuttmanWPI Steve KremerINRIA, ENS CachanFabio MartinelliCNR Catherine MeadowsNRL John MitchellStanford University Mogens NielsenUniversity of AarhusCatuscia PalamidessiINRIA, École Polytechnique Peter RyanUniversité du Luxembourg Steve SchneiderUniversity of Surrey Luca ViganòUniversità di Verona
Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.