Institute of Information Science Academia Sinica
Recent developments on hardness amplification