• Private Virtual Infrastructure for Cloud Computing 

  Krautheim, F. John (2009)

  Cloud computing places an organization’s sensitive data in the control of a third party, introducing a significant level of risk on the privacy and security of the data. We propose a new management and security model for ...

• Punchscan in Practice: An E2E Election Case Study 

  Essex, Aleks; Clark, Jeremy; Carback, Rick; Popoveniuc, Stefan

  This paper presents a case study of the E2E voting system Punchscan and its first use in a binding election. The election was held in March 2007 at the University of Ottawa for several offices within the university’s ...

• On the Independent Verification of a Punchscan Election 

  Carback III, Richard T.; Clark, Jeremy; Essex, Aleks; Popoveniuc, Stefan (2007)

  Punchscan is a cryptographic voting system providing full transparency throughout the entire election process: a mandatory pre-election public audit, a mandatory post-election public audit, and the ability for a voter ...

• Scantegrity II Municipal Election at Takoma Park: The First E2E Binding Governmental Election with Ballot Privacy 

  Carback, Richard; Chaum, David; Clark, Jeremy; Conway, John; Essex, Aleksander; Herrnson, Paul S.; Mayberry, Travis; Popoveniuc, Stefan; Rivest, Ronald L.; Shen, Emily; Sherman, Alan T.; Vora, Poorvi L. (2009-11-03)

  On November 3, 2009, voters in Takoma Park, Maryland, cast ballots for the mayor and city council members using the Scantegrity II voting system—the first time any end-to-end (E2E) voting system with ballot privacy has ...

• An Examination of Vote Verification Technologies: Findings and Experiences from the Maryland Study 

  Sherman, Alan T.; Gangopadhyay, Aryya; Holden, Stephen H.; Karabatis, George; Koru, A. Gunes; Law, Chris M.; Norris, Donald F.; Pinkston, John; Sears, Andrew; Zhang, Dongsong (2006-04-15)

  We describe our findings and experiences from our technical review of vote verification systems for the Maryland State Board of Elections (SBE). The review included the following four systems for possible use together ...

• Punchscan with Independent Ballot Sheets: Simplifying Ballot Printing and Distribution with Independently Selected Ballot Halves 

  Carback III, Richard T.; Popoveniuc, Stefan; Sherman, Alan T.; Chaum, David (2007-06-15)

  We propose and implement a modification to the Punchscan protocol that simplifies ballot printing and distribution. In this improved version, each voter creates a ballot at the polling location by combining independently ...

• Catching the Cuckoo: Verifying TPM Proximity Using a Quote Timing Side-Channel 

  Fink, Russell A.; Sherman, Alan T.; Mitchell, Alexander O.; Challener, David C. (Springer, Berlin, Heidelberg, 2011-06-22)

  We present a Trusted Platform Module (TPM) application protocol that detects a certain man in the middle attack where an adversary captures and replaces a legitimate computing platform with an imposter that forwards ...

• Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes 

  Chaum, David; Carback, Richard; Clark, Jeremy; Essex, Aleksander; Popoveniuc, Stefan; Rivest, Ronald L.; Ryan, Peter Y. A.; Shen, Emily; Sherman, Alan T. (2008-07-01)

  We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed on ballots in invisible ink. Voters mark ...

• A Conjunction, Language, and System Facets for Private Packet Filtering 

  Oehler, Michael; Phatak, Dhananjay S.; Sherman, Alan T. (ASE, 2013)

  Our contribution de nes a conjunction operator for private stream searching, integrates this operator into a high level language, and describes the system facets that achieve a realization of private packet ltering. Private ...

• Statistical Techniques for Language Recognition: An Introduction and Guide for Cryptanalysts 

  Ganesan, Ravi; Sherman, Alan T. (Taylor & Francis Online, 2010-06-04)

  We explain how to apply statistical techniques to solve several language-recognition problems that arise in cryptanalysis and other domains. Language recognition is important in cryptanalysis because, among other applications, ...

• Statistical Techniques For Language Recognition: An Empirical Study Using Real And Simulated English 

  Ganesan, Ravi; Sherman, Alan T. (Taylor & Francis, 2010-06-04)

  Computer experiments compare the effectiveness of five test statistics at recognizing and distinguishing several types of real and simulated English strings. These experiments measure the statistical power and robustness ...

• Design and implementation of FROST: Digital forensic tools for the OpenStack cloud computing platform 

  Dykstra, Josiah; Sherman, Alan T. (Elsevier B.V., 2013-08)

  We describe the design, implementation, and evaluation of FROST|three new forensic tools for the OpenStack cloud platform. Operated through the management plane, FROST provides the rst dedicated forensics capabilities ...

• Acquiring Forensic Evidence from Infrastructure-as-a-Service Cloud Computing: Exploring and Evaluating Tools, Trust, and Techniques 

  Dykstra, Josiah; Sherman, Alan T. (2012-08-06)

  We expose and explore technical and trust issues that arise in acquiring forensic evidence from infrastructure-as-aservice cloud computing and analyze some strategies for addressing these challenges. First, we create a ...

• Scantegrity III: Automatic Trustworthy Receipts, Highlighting Over/Under Votes, and Full Voter Verifiability 

  Sherman, Alan T.; Fink, Russell A.; Carback, Richard; Chaum, David (2017)

  Building on lessons learned from the November 2009 Scantegrity II election in Takoma Park, MD, we propose improvements to the Scantegrity II voting system that (1) automatically print trustworthy receipts for easier on-line ...

• Understanding Issues in Cloud Forensics: Two Hypothetical Case Studies 

  Dykstra, Josiah; Sherman, Alan T. (2011-05-25)

  The inevitable vulnerabilities and criminal targeting of cloud environments demand an understanding of how digital forensic investigations of the cloud can be accomplished. We present two hypothetical case studies of cloud ...

• Key Establishment in Large Dynamic Groups Using One-Way Function Trees 

  Sherman, Alan T.; McGrew, David A. (IEEE, 2003-05-21)

  We present, implement, and analyze a new scalable centralized algorithm, called OFT, for establishing shared cryptographic keys in large, dynamically changing groups. Our algorithm is based on a novel application of one-way ...

• Development and Assessment of Modules to Integrate Quantitative Skills in Introductory Biology Courses 

  Hoffman, Kathleen; Leupen, Sarah; Dowell, Kathy; Kephart, Kerrie; Leips, Jeff (The American Society for Cell Biology, 2017-10-13)

  Redesigning undergraduate biology courses to integrate quantitative reasoning and skill development is critical to prepare students for careers in modern medicine and scientific research. In this paper, we report on the ...

• J-PLUS: Two-dimensional analysis of the stellar population in NGC 5473 and NGC 5485 

  Roman, I. San; Sanchez-Blazquez, P.; Cenarro, A. J.; Diaz-Garcia, L. A.; Lopez-Sanjuan, C.; Varela, J.; Vilella-Rojo, G.; Akras, S.; Bonoli, S.; Chies Santos, A. L.; Coelho, P.; Cortesi, A.; Ederoclite, A.; Jiménez-Teja, Y.; Logroño-García, R.; Oliveira, R. Lopes de; Nogueira-Cavalcante, J. P.; Orsi, A.; Ramió, H. Vázquez; Viironen, K.; Cristóbal-Hornillos, D.; Dupke, R.; Marín-Franch, A.; Oliveira, C. Mendes de; Moles, M.; Sodré, L. (ESO, 2019-01-12)

  Context. The spatial variations of stellar population properties within a galaxy are intimately related to their formation process. Therefore, spatially resolved studies of galaxies are essential to uncover their formation ...

• NuSTAR Detection of X-rays Concurrent with Gamma Rays in the Nova V5855 Sgr 

  Nelson, Thomas; Mukai, Koji; Li, Kwan-Lok; Vurm, Indrek; Metzger, Brian D.; Chomiuk, Laura; Sokoloski, J.L.; Linford, Justin D.; Bohlsen, Terry; Luckas, Paul (2018-12-31)

  We report the first detection of hard (>10 keV) X-ray emission simultaneous with gamma rays in a nova eruption. Observations of the nova V5855 Sgr carried out with the NuSTAR satellite on Day 12 of the eruption revealed ...

• Advancements in the Aerosol Robotic Network (AERONET) Version 3 database – automated near-real-time quality control algorithm with improved cloud screening for Sun photometer aerosol optical depth (AOD) measurements 

  Giles, David M.; Sinyuk, Alexander; Sorokin, Mikhail G.; Schafer, Joel S.; Smirnov, Alexander; Slutsker, Ilya; Eck, Thomas F.; Holben, Brent N.; Lewis, Jasper R.; Campbell, James R.; Welton, Ellsworth J.; Korkin, Sergey V.; Lyapustin, Alexei I. (Copernicus Publications on behalf of the European Geosciences Union, 2019-01-11)

  The Aerosol Robotic Network (AERONET) has provided highly accurate, ground-truth measurements of the aerosol optical depth (AOD) using Cimel Electronique Sun–sky radiometers for more than 25 years. In Version 2 (V2) of the ...

View more