Dept. of Computer Science


The Department of Computer Science is recognized throughout the world as a leader in education and research. The department and its graduates have long been at the forefront of modern computing beginning with the ILLIAC in 1952, and continuing with the creation of Mosaic, the first graphic web browser, through the most recent Internet era.

Browse Sub-communities

Browse Collections of Items

Recent AdditionsRSS feed

  • Roohi, Nima; Prabhakar, Pavithra; Viswanathan, Mahesh (2016)


    application/pdfPDF (660kB)
  • Matthew S. Bauer, Rohit Chadha and Mahesh Viswanathan (2016)
    Recently, several composition results have been established, showing that two cryptographic protocols proven secure against a Dolev-Yao adversary continue to afford the same security guarantees when composed together, ...


    application/pdfPDF (485kB)
  • Jose Meseguer (2015-11)
    Although different satisfiability decision procedures can be combined by algorithms such as those of Nelson-Oppen or Shostak, current tools typically can only support a finite number of theories to use in such ...


    application/pdfPDF (656kB)
  • Yoon, Man-Ki; Mohan, Sibin; Chen, Chien-Ying; Sha, Lui (2015-10-15)
    The high degree of predictability in hard real-time systems makes it possible for adversaries to launch timing inference attacks such as those based on side-channels and covert-channels. We present SCOBE, an obfuscation ...


    application/pdfPDF (2MB)
  • Alessandra Melani; Renato Mancuso; Daniel Cullina; Marco Caccamo; Lothar Thiele (2015-11-12)
    Multiple resource co-scheduling algorithms and pipelined execution models are becoming increasingly popular, as they better capture the heterogeneous nature of modern architectures. The problem of scheduling tasks composed ...


    application/pdfPDF (449kB)

Community Statistics

  • Total Downloads: 691014
  • Downloads this Month: 7001
  • Downloads Today: 257
  • Statistics Report