A Constraint Language for Static Semantic Analysis Based on Scope Graphs Hendrik van Antwerpen Pierre Néron

Source URL: web.cecs.pdx.edu

• Constraint programming
• Scope
• Name resolution
• Constraint satisfaction
• ALGOL 68
• Declaration
• Constraint graph

Traffic Analysis of UDP-based Flows in Ourmon Portland State University - Computer Science Technical ReportJames R. Binkley Computer Science Dept. Portland State University Portland, OR, USA

Source URL: web.cecs.pdx.edu

On the Impossibility of Highly-Efficient Blockcipher-Based Hash Functions J. Black ∗ M. Cochran ∗

Source URL: web.cecs.pdx.edu

An Algorithm for Anomaly-based Botnet Detection James R. Binkley Computer Science Dept. Portland State University Portland, OR, USA

Source URL: web.cecs.pdx.edu

ContolSystemsDynamics_Sept24_Seminar

Source URL: cecs.uci.edu

Down for the Count? Getting Reference Counting Back in the Ring ∗ Rifat Shahriyar Stephen M. Blackburn

Source URL: users.cecs.anu.edu.au

IEEE TRANSACTIONS ON MEDICAL IMAGING, VOL. 34, NO. 6, JUNEMulti-Target Tracking with Time-Varying Clutter Rate and Detection Profile: Application to

Source URL: users.cecs.anu.edu.au

IEEE TRANSACTIONS ON MOBILE COMPUTING 1 Verifying Delivered QoS in Multi-hop Wireless Networks

Source URL: web.cecs.pdx.edu

A preliminary version of this paper appeared in: T. Ristenpart, H. Shacham, and T. Shrimpton. Careful with Composition: Limitations of the Indifferentiability Framework. Advances in Cryptology – EUROCRYPT ’11, LNCS v

Source URL: web.cecs.pdx.edu

Threshold Password-Authenticated Key Exchange Philip MacKenzie∗ Bell Laboratories Lucent Technologies Murray Hill, NJUSA

Source URL: web.cecs.pdx.edu