AUTHSEARCH: Error obtaining the query results.
Try your query again and, if the problem persists, contact an admin for assistance.?q=Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3.&sort=ndocs+desc&rows=10&start=0&qt=standard&hl=true&hl.fragsize=300&wt=json
[http://csxindex02.ist.psu.edu:8080/author/select?q=Machine-Checked%20Proofs%20for%20Cryptographic%20Standards:%20Indifferentiability%20of%20Sponge%20and%20Secure%20High-Assurance%20Implementations%20of%20SHA-3.&sort=ndocs+desc&rows=10&start=0&qt=standard&hl=true&hl.fragsize=300&wt=json]
java.net.UnknownHostException: csxindex02.ist.psu.edu
at java.net.AbstractPlainSocketImpl.connect(AbstractPlainSocketImpl.java:178)
at java.net.SocksSocketImpl.connect(SocksSocketImpl.java:391)
at java.net.Socket.connect(Socket.java:579)
at java.net.Socket.connect(Socket.java:528)
at sun.net.NetworkClient.doConnect(NetworkClient.java:180)
at sun.net.www.http.HttpClient.openServer(HttpClient.java:378)
at sun.net.www.http.HttpClient.openServer(HttpClient.java:473)
at sun.net.www.http.HttpClient.