[TYPES/announce] [cfp] Security track at ACM SAC

[Joshua D. Guttman]

[ Submissions of full papers and graduate student abstracts
  are solicited for the ACM SAC security track.  

  21 Sept deadline.

  Many of the topics can benefit from language-based and
  especially types-based approaches.  Work of the kind
  reflected on this mailing list is very welcome.  
]


			       SEC at SAC

			  The Security Track
				at the
		  ACM Symposium on Applied Computing

			   18-22 March 2013
			  Coimbra, Portugal


For the past twenty-eight years, the ACM Symposium on Applied
Computing has been a primary gathering forum for applied computer
scientists, computer engineers, software engineers, and application
developers from around the world. SAC 2013 is sponsored by the ACM
Special Interest Group on Applied Computing (SIGAPP
http://www.acm.org/sigapp); its proceedings are published by ACM in
both printed form and CD-ROM; they are also available on the web
through the ACM Digital Library http://www.acm.org/dl. More
information about SIGAPP and past editions of SAC can be found at
http://www.acm.org/sigapp 

The Computer Security track (12th edition)

The Security Track reaches its twelfth edition this year, thus
appearing among the most established tracks in the Symposium. The list
of issues remains vast, ranging from protocols to work-flows.

Topics of interest include but are not limited to:

software security (protocols, operating systems, etc.)
hardware security (smartcards, biometric technologies, etc.)
mobile security (properties for/from mobile agents, etc.)
network security (anti-DoS tools, firewalls, real-time monitoring,
	mobile networks, sensor networks, etc.) 
alternatives to cryptography (steganography, etc.)
security-specific software development practices (vulnerability
	testing, fault-injection resilience, etc.) 
privacy and anonymity (trust management, pseudonymity, identity
	management, electronic voting, etc.) 
safety and dependability issues (reliability, survivability, etc.) 
cyberlaw and cybercrime (copyrights, trademarks, defamation,
	intellectual property, etc.) 
security management and usability issues (security configuration,
	policy management, usability trials etc.) 
workflow and service security (business processes, web services, etc.) 
security in cloud computing and virtualised environments
Important Dates

21 September 2012, midnight CEST	Submission of full papers
10 November 2012	Notification of Acceptance/Rejection
30 November 2012	Camera-Ready copies of accepted papers
18-22 March 2013	SAC 2013 takes place
Best Papers

The best papers of the 2003 edition are published in a special issue
of Concurrency and Computation: Practice and Experience (Wiley) ,
vol. 16, no.1, 2004. The best papers of the 2004 edition are published
in a special issue of the Journal of Computer Security (IOS) ,
vol. 13, no.5, 2005. The best papers of the 2006 edition are published
in a special issue of the Journal of Computer Security (IOS) ,
vol. 17, no.3, 2009. 

This practice will be continued on the basis of appropriateness of the
submissions.

Track Program Chairs

Giampaolo BELLA 
(email: giamp at dmi.unict.it
 web:	http://www.dmi.unict.it/~giamp/)
Dipartimento di Matematica e Informatica, Universita' di Catania, Italy.
Software Technology Research Laboratory, De Montfort University, UK.

Helge JANICKE 
(email: heljanic at dmu.ac.uk 
 web:	http://www.tech.dmu.ac.uk/~heljanic/)
Software Technology Research Laboratory, De Montfort University, UK.

Graham STEEL 
(email: graham.steel at lsv.ens-cachan.fr 
 web:	http://www.lsv.ens-cachan.fr/~steel/) 
INRIA, France

Program Committee

Manuel Barbosa (Universidade do Minho, Portugal)
Iliano Cervesato (Carnegie Mellon University, Qatar)
David W Chadwick (University of Kent, UK)
Steve Chong (Harvard University, USA)
Bruce Christianson (University of Hertfordshire, UK)
Simon Foley (University College Cork, Ireland)
Dieter Gollmann (TU Hamburg, Germany)
Stefanos Gritzalis (University of the Aegean, Greece)
Joshua Guttmann (Worcester Polytechnic Institute, USA)
Lalana Kagal (MIT, USA)
Sokratis K Katsikas (University of Piraeus, Greece)
Lalana Kagal (MIT, USA)
Helmut Kurth (ATSEC, Germany)
Gabriele Lenzini (University of Luxembourg)
Hannan Lutfiyya (University of Western Ontario, Canada)
Jean Martina (Universidade Federal de Santa Catarina, Brasil)
John McDermott (Naval Research Lab, USA)
Marius Minea (Politehnica University of Timisoara, Romania)
Chris Mitchell (Royal Holloway University of London, UK)
Dusko Pavlovic (Royal Holloway University of London, UK)
Kenneth Radke (Queensland University of Technology, Australia)
Alessandro Sorniotti (IBM Research Lab Zurich, Switzerland)
Submission Guidelines

The submission guidelines must be strictly followed for a paper to be
considered.

Original papers from the above mentioned or other related areas will
be considered.  We seek full papers about original and unpublished
research.  (See also Student research abstracts, below).  Parallel
submission to other conferences or other tracks of SAC 2013 is
forbidden. Each paper must be BLIND in the sense that it must only
include its title but not mention anything about its
authors. Self-reference must be blind too. All submissions must be
formatted using the ACM conference-specific LaTeX style, which can be
obtained from the symposium web page. The standard extension of a
submission in the stated format is 6 pages. Longer papers (up to 8
pages maximum) will imply an additional charge. All papers must be
submitted by 21 September 2012.

There is a symposium-wide paper management system for SAC 2013, which
authors must use to submit their papers. 

Review and publication of accepted papers

Each paper will be fully refereed and undergo a blind review process
by at least three referees. Accepted papers will be published in the
ACM SAC 2013 proceedings. Some papers may only be accepted as poster
papers, and will be published as extended 2-page abstracts in the
proceedings. According to the authors' guidelines, which can be
obtained from the symposium web page, at least one author per accepted
paper must register before the paper is included in the
proceedings. Each accepted paper MUST be presented by an author or a
proxy at the venue: this is a requirement for the paper to be part of
the ACM/IEEE digital library 

Student research abstract competition

Graduate students are invited to submit research abstracts (minimum of
2-page and maximum of 4-page) following the instructions published at
SAC 2013 website. Submission of the same abstract to multiple tracks
is not allowed.

Contact: Giampaolo Bella, giamp at dmi.unict.it

-- 
	Joshua D. Guttman
	WPI, Computer Science