International Association for Cryptologic Research

IACR News Central

Get an update on changes of the IACR web-page here. For questions, contact newsletter (at) iacr.org. You can also get this service via

To receive your credentials via mail again, please click here.

You can also access the full news archive.

Further sources to find out about changes are CryptoDB, ePrint RSS, ePrint Web, Event calender (iCal).

2013-02-05
09:07 [Event][New] MITC 2013: School + Workshop on Mathematics of Information-Theoretic Cryptography

  From May 13 to May 26
Location: Leiden , The Netherlands
More Information: http://www.lorentzcenter.nl/lc/web/2013/581/info.php3?wsid=581&venue=Snellius


09:07 [Event][New] PRISMS 2013: International Conference on Privacy and Security in Mobile Systems

  Submission: 4 March 2013
Notification: 8 April 2013
From June 24 to June 27
Location: Atlantic City, USA
More Information: http://www.gws2013.org/prisms/


09:05 [Event][New] AisaJCIS2013: The 8th Asia Joint Conference on Information Security

  Submission: 10 April 2013
Notification: 22 May 2013
From July 25 to July 26
Location: Seoul, Korea
More Information: http://www.asiajcis.org




2013-02-01
12:59 [Job][New] Post-Doc, Orange Labs, Caen, France

  The research department of the Orange telecommunication company is searching for a suitable candidate for a post-doctoral research position to be involved in our Applied Crypto Group, especially related to cryptographic algorithms for the security of the cloud. Suitable candidates are requested to apply immediately. Candidate selection will continue until the position is filled.

12:59 [Job][New] PhD Position in System Security and Secure Electronic Identity, Technische Universität Darmstadt, Germany

  We are looking for an outstanding PhD candidate to join our Systems Security Group at Intel Collaborative Research Institute for Secure Computing (ICRI-SC) at TU-Darmstadt to work on a European project FutureID to shape the Future of Electronic Identity. Electronic ID cards (eID’s) are now issued by many European countries and promise a drastic increase in the security and trust of identities on the Internet. Yet, everyday use of eID’s remains low ad lags far behind original expectations. The FutureID project attempts to change this by addressing some of the major hindrances to uptake.

The FutureID project builds a comprehensive, flexible privacy-aware and ubiquitously usable identity management infrastructure for Europe, which integrates existing eID technology and trust infrastructures, emerging federated identity management services and modern credential technologies to provide a user-centric system for the trustworthy and accountable management of identity claims.

Our research covers security aspects on different system abstraction layers and tackles the design and development of security architectures, trustworthy infrastructure, cryptographic protocols and security of mobile platforms (particularly smartphones).

The candidates should hold a Master Degree in Computer Science or Electrical Engineering and bring well-founded knowledge and experience in one or more of the following areas:

- Operating system security, in particular for mobile systems (e.g. Android)

- Trusted computing beyond TCG

- Software and embedded systems security

- Cryptographic protocols

You application should include your current curriculum vitae, MSc certificates and grades, a letter of motivation stating your interest in the position and your research interests and at least two letters of recommendation. Please direct your application to our team assistant Mrs. Heike Bartenschlager: office (at) icri-sc.tu- darmstad

12:59 [Job][New] Post-Doc in security in virtualized software systems, The Security Lab at Swedish Institute of Computer Science (SICS), Sweden

  The Security Lab at Swedish Institute of Computer Science (SICS) in Stockholm is looking for a talent post doc researcher candidate in the area of security for virtualized software systems. The position is for one year and should be done through the ERCIM Alain Bensoussan Fellowship Programme with deadline February 28. We are looking for a talent researcher with interest in applied research and good knowledge in Trusted Computing Technologies.

The security Lab at SICS was established in 2009. Since then it has grown from 1 to 8 people. The research is directed toward secure systems design in close co-operation with above leading Swedish companies in the IT and telecommunications businesses as well as Swedish universities such as Royal Institute of Technology in Stockholm. The group has developed an own hypervisor providing secure execution in ARM based embedded systems that currently undergo formal verification. Furthermore, the group is performing lots of research on usage of Trusted Computing technologies to secure future cloud infrastructures. The secure systems group at SICS consists for the moment of 4 senior researchers (PhD), 2 PhD students and addition 2 junior researchers with MSc degrees in computer science.



04:17 [Pub][ePrint] Power Balanced Circuits for Leakage-Power-Attacks Resilient Design, by Basel Halak, Julian Murphy, Alex Yakovlev

  The continuous rise of static power consumption in

modern CMOS technologies has led to the creation of a novel

class of security attacks on cryptographic systems. The latter

exploits the correlation between leakage current and the input

patterns to infer the secret key; it is called leakage power analysis

(LPA). The use power-balanced (m-of-n) logic is a promising

solution that provides an answer to this problem, such circuits

are designed to consume constant amount of power regardless of

data being processed. This work evaluates the security of

cryptographic circuits designed with this technology against the

newly developed LPA. Two forms of LPA are investigated, one is

based on differential power analysis (LDPA) and the other based

on Hamming weight analysis (LHPA). Simulations performed at

90nm CMOS technology reveal that (m-of-n) circuits are totally

resilient to LHPA and have a higher security level against LDPA

than standard logic circuits.



04:17 [Pub][ePrint] Lessons Learned From Previous SSL/TLS Attacks - A Brief Chronology Of Attacks And Weaknesses, by Christopher Meyer and Jörg Schwenk

  Since its introduction in 1994 the Secure Socket Layer (SSL) protocol (later renamed to Transport Layer Security (TLS)) evolved to the de facto standard for securing the transport layer. SSL/TLS can be used for ensuring data confidentiality, integrity and authenticity during transport. A main feature of the protocol is its flexibility. Modes of operation and security aims can easily be configured through different cipher suites. During its evolutionary development process several flaws were found. However, the flexible architecture of SSL/TLS allowed efficient fixes in order to counter the issues. This paper presents an overview on theoretical and practical attacks of the last 15 years, in chronological order and four categories: Attacks on the TLS Handshake protocol, on the TLS Record and Application Data Protocols, on the PKI

infrastructure of TLS, and on various other attacks. We try to give a short \"Lessons Learned\" at the end of each paragraph.





2013-01-30
19:17 [Pub][ePrint] Lower Bounds on the Information Ratio of Linear Secret Sharing Schemes, by Carles Padro

  Superpolynomial lower bounds on the average information ratio of linear secret sharing scheme are presented in this note for the first time. The previously known superpolynomial lower bounds applied only to the average information ratio of linear schemes in which the secret is a single field element. The new bounds are obtained by a simple adaptation of the techniques in those previous works.



04:17 [Pub][ePrint] Efficient Computation Outsourcing for Inverting a Class of Homomorphic Functions, by Fangguo Zhang and Xu Ma and Shengli Liu

  The rise of cloud computing and the proliferation of mobile devices make computation outsourcing popular. However, the servers are not fully trusted, and a critical problem is the verifiability and privacy of such computations. Although some computation outsoucing schemes provided a general method, the complicated cryptographic tools involved result in great inefficiency. The existing efficient computation outsourcing schemes however aim only at a specific computation task, lacking in generality. In this paper, we show how to construct a generic outsourcing computation scheme for inverting a class of homomorphic functions with computation disequilibrium. Extensive analysis shows that many cryptographic computations fall into this category. The formal security analysis proves that our scheme satisfies verifiability, input and output privacy in information-theoretic sense. Since the construction of our scheme tactfully takes advantage of the intrinsic property of the computation task being outsourced, no public key operations are used in the scheme, thus our solution clearly outperforms the existing schemes in terms of efficiency. In addition, we instantiate our generic construction with concrete examples, and the experimental result testifies the efficiency of our construction.



04:17 [Pub][ePrint] Towards Efficient Verifiable SQL Query for Outsourced Dynamic Databases in Cloud, by anonymized for paper review

  With the raising trend of outsourcing databases to the cloud server, it is important to efficiently and securely assure that the clients\' queries on the databases are executed correctly. To address this issue, server schemes have been proposed based on various cryptographic tools. However, these existing schemes have limitations in either communication cost or computational cost for verification. Meanwhile, only four types of SQL functional queries are supported in these schemes. It still remains as an open problem to design a verifiable SQL query scheme that provides affordable storage overhead, communication cost, computational cost and more SQL functional queries.

In this paper, we investigate this open problem and propose an efficient verifiable SQL query scheme for outsourced dynamic databases. Different from the previous state-of-the-art schemes, we reduce the complexity of storage overhead from O(mn) to O(n) and move most computation tasks from client side to cloud server side. Compared with the recently proposed scheme that also achieves O(n) storage overhead, we not only cut the communication complexity for verification from O(n) to O(log^n), but also release the client from O(n) exponentiation operations to O(1). In addition, our proposed scheme improves the previous ones by allowing more aggregate queries including variance query, weighted exponentiation sum query of any degrees, etc. Thorough analysis shows the efficiency and scalability of our proposed scheme. The security of our scheme is proved based on Strong Diffie-Hellman Assumption, Bilinear Strong Diffie-Hellman Assumption and Computational Diffie-Hellman Assumption.