The 3rd  International Conference on Symbolic Computation and Cryptography (SCC 2012) is the third edition of a new series of conferences, which have been established in response to the growing interest in applying and developing methods, techniques, and software tools of symbolic computation for cryptography. The first conference (SCC 2008) was held in Beijing, China, in April 2008 and the second conference  (SCC 2010)  was taking place at Royal Holloway, University of London, on June 2010.

SCC 2012 aims at providing an interactive forum for researchers to present recent results, exchange ideas, and learn and discuss the latest developments and emerging problems in the area of symbolic computation and cryptography. Typical areas of interest include:

• design, modeling, and analysis of cryptographic systems and protocols for which symbolic computation may be used or needed;
• design, implementation, and analysis of algorithms and software tools of symbolic computation that may have potential applications in cryptography.

The conference  will consist of two or three invited lectures and, in carefully selected talks by the international programm committee.