Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Mathematics (21)
- Statistics and Probability (19)
- Engineering (13)
- Electrical and Computer Engineering (6)
- Medicine and Health Sciences (3)
-
- Operations Research, Systems Engineering and Industrial Engineering (3)
- Health Information Technology (2)
- Information Security (2)
- Aerospace Engineering (1)
- Cybersecurity (1)
- Economics (1)
- Education (1)
- Higher Education (1)
- Medical Pathology (1)
- Medical Sciences (1)
- Social and Behavioral Sciences (1)
- Institution
- Keyword
-
- Automated Induction, Machine Learning, Knowledge Representation (4)
- Algorithms (3)
- Algorithm Design (2)
- Application-Oriented Fault Tolerance, Multicomputers. (2)
- Chromatic Number (2)
-
- Embedding, Fault Tolerance, Reconfiguration, Ring, Hypercube. (2)
- Embeddings (2)
- Graph-Coloring (2)
- Heuristic Algorithms (2)
- Optimization, Probabilistic Methods, Stock Cutting, Bin Packing (2)
- Reasoning (2)
- Scheduling (2)
- Speedup (2)
- Academic/Educational Applications (1)
- Approximation (1)
- Artificial Intelligence, Database Rule Systems, Rule Indexing, Rule Clustering, Search Strategies, Rule-base. (1)
- Artificial intelligence (1)
- Bibliography (1)
- Branch-And-Bound (1)
- Church-Rosser Property (1)
- Class NC (1)
- Class NG (1)
- Compilers, Formal Languages, Language Processors, LR(l) Grammars, LR(l) Parsing (1)
- Complete Sets of Reductions (1)
- Complexity Of Algorithms (1)
- Computer assisted instruction (1)
- Conant gasket (1)
- Concurrent Systems (1)
- Conditional Reductions (1)
- Cyber resilience (1)
- Publication Year
- File Type
Articles 31 - 60 of 772
Full-Text Articles in Computer Sciences
Zebra: Zero-Effort Bilateral Recurring Authentication (Companion Report), Shrirang Mare, Andres Molina-Markham, Cory Cornelius, Ronald Peterson, David Kotz
Zebra: Zero-Effort Bilateral Recurring Authentication (Companion Report), Shrirang Mare, Andres Molina-Markham, Cory Cornelius, Ronald Peterson, David Kotz
Computer Science Technical Reports
We describe and evaluate Zero-Effort Bilateral Recurring Authentication (ZEBRA) in our paper that appears in IEEE Symposium on Security and Privacy, May 2014. In this report we provide a more detailed comparative evaluation of ZEBRA against other related authentication schemes. The abstract of the paper follows. Common authentication methods based on passwords, tokens, or fingerprints perform one-time authentication and rely on users to log out from the computer terminal when they leave. Users often do not log out, however, which is a security risk. The most common solution, inactivity timeouts, inevitably fail security (too long a timeout) or usability (too …
Fingerprinting Ieee 802.15.4 Devices With Commodity Radios, Ira Ray Jenkins, Rebecca Shapiro, Sergey Bratus, Ryan Speers, Travis Goodspeed
Fingerprinting Ieee 802.15.4 Devices With Commodity Radios, Ira Ray Jenkins, Rebecca Shapiro, Sergey Bratus, Ryan Speers, Travis Goodspeed
Computer Science Technical Reports
We present a reliable method of PHY-layer fingerprinting of IEEE 802.15.4-conformant nodes with commodity digital radio chips widely used in building inexpensive IEEE 802.15.4-conformant devices. Typically, PHY-layer fingerprinting requires software-defined radios that cost orders of magnitude more than the chips they can fingerprint; our method does not require a software-defined radio and uses the same inexpensive chips. For mission-critical systems relying on 802.15.4 devices, defense-in-depth is thus necessary. Device fingerprinting has long been an important defensive tool; reducing its cost raises its utility for defenders. We investigate new methods of fingerprinting 802.15.4 devices by exploring techniques to differentiate between multiple …
Speaking The Local Dialect: Exploiting Differences Between Ieee 802.15.4 Receivers With Commodity Radios For Fingerprinting, Targeted Attacks, And Wids Evasion, Ira Ray Jenkins, Rebecca Shapiro, Sergey Bratus, Travis Goodspeed, Ryan Speers, David Dowd
Speaking The Local Dialect: Exploiting Differences Between Ieee 802.15.4 Receivers With Commodity Radios For Fingerprinting, Targeted Attacks, And Wids Evasion, Ira Ray Jenkins, Rebecca Shapiro, Sergey Bratus, Travis Goodspeed, Ryan Speers, David Dowd
Computer Science Technical Reports
Producing IEEE 802.15.4 PHY-frames reliably accepted by some digital radio receivers, but rejected by others---depending on the receiver chip's make and model---has strong implications for wireless security. Attackers could target specific receivers by crafting "shaped charges," attack frames that appear valid to the intended target and are ignored by all other recipients. By transmitting in the unique, slightly non-compliant "dialect" of the intended receivers, attackers would be able to create entire communication streams invisible to others, including wireless intrusion detection and prevention systems (WIDS/WIPS).
These scenarios are no longer theoretic. We present methods of producing such IEEE 802.15.4 frames with …
Vocal Resonance As A Passive Biometric, Cory Cornelius, Zachary Marois, Jacob Sorber, Ron Peterson, Shrirang Mare, David Kotz
Vocal Resonance As A Passive Biometric, Cory Cornelius, Zachary Marois, Jacob Sorber, Ron Peterson, Shrirang Mare, David Kotz
Computer Science Technical Reports
We anticipate the advent of body-area networks of pervasive wearable devices, whether for health monitoring, personal assistance, entertainment, or home automation. In our vision, the user can simply wear the desired set of devices, and they "just work"; no configuration is needed, and yet they discover each other, recognize that they are on the same body, configure a secure communications channel, and identify the user to which they are attached. This paper addresses a method to achieve the latter, that is, for a wearable device to identify the wearer, allowing sensor data to be properly labeled or personalized behavior to …
Tr-2014001: Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak
Tr-2014001: Computer-Aided Reasoning About Knowledge And Justifications, Natalia Novak
Computer Science Technical Reports
No abstract provided.
Tr-2014002: Proof Complexity And Quantitative Epistemology, Natalia Novak
Tr-2014002: Proof Complexity And Quantitative Epistemology, Natalia Novak
Computer Science Technical Reports
No abstract provided.
Tr-2014006: New Algorithms In The Frobenius Matrix Algebra For Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Tr-2014006: New Algorithms In The Frobenius Matrix Algebra For Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Computer Science Technical Reports
No abstract provided.
Tr-2014008: Supporting Genp And Low-Rank Approximation With Random Multipliers, Victor Y. Pan, Guoliang Qian, Xiaodong Yan
Tr-2014008: Supporting Genp And Low-Rank Approximation With Random Multipliers, Victor Y. Pan, Guoliang Qian, Xiaodong Yan
Computer Science Technical Reports
No abstract provided.
Tr-2014007: Real Polynomial Root-Finding By Means Of Matrix And Polynomial Iterations, Victor Y. Pan
Tr-2014007: Real Polynomial Root-Finding By Means Of Matrix And Polynomial Iterations, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2014010: Intuitionistic Epistemic Logic, Sergei Artemov, Tudor Protopopescu
Tr-2014010: Intuitionistic Epistemic Logic, Sergei Artemov, Tudor Protopopescu
Computer Science Technical Reports
No abstract provided.
Tr-2014011: Real Polynomial Root-Finding: New Advances, Victor Y. Pan
Tr-2014011: Real Polynomial Root-Finding: New Advances, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2014003: On The Complexity Of Two-Agent Justification Logic, Antonis Achilleos
Tr-2014003: On The Complexity Of Two-Agent Justification Logic, Antonis Achilleos
Computer Science Technical Reports
No abstract provided.
Tr-2014004: Justification Logics And Realization, Melvin Fitting
Tr-2014004: Justification Logics And Realization, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2014005: Fast Approximation Algorithms For Computations With Cauchy Matrices And Extensions, Victor Y. Pan
Tr-2014005: Fast Approximation Algorithms For Computations With Cauchy Matrices And Extensions, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2014009: Estimating The Norms Of Random Circulant And Toeplitz Matrices And Their Inverses Ii, Victor Y. Pan, Guoliang Qian, John Svadlenka, Liang Zhao
Tr-2014009: Estimating The Norms Of Random Circulant And Toeplitz Matrices And Their Inverses Ii, Victor Y. Pan, Guoliang Qian, John Svadlenka, Liang Zhao
Computer Science Technical Reports
No abstract provided.
Elfbac: Using The Loader Format For Intent-Level Semantics And Fine-Grained Protection, Julian Bangert, Sergey Bratus, Rebecca Shapiro, Michael E. Locasto, Jason Reeves, Sean W. Smith, Anna Shubina
Elfbac: Using The Loader Format For Intent-Level Semantics And Fine-Grained Protection, Julian Bangert, Sergey Bratus, Rebecca Shapiro, Michael E. Locasto, Jason Reeves, Sean W. Smith, Anna Shubina
Computer Science Technical Reports
Adversaries get software to do bad things by rewriting memory and changing control flow. Current approaches to protecting against these attacks leave many exposures; for example, OS-level filesystem protection and OS/architecture support of the userspace/kernelspace distinction fail to protect corrupted userspace code from changing userspace data. In this paper we present a new approach: using the ELF/ABI sections already produced by the standard binary toolchain to define, specify, and enforce fine-grained policy within an application's address space. We experimentally show that enforcement of such policies would stop a large body of current attacks and discuss ways we could extend existing …
Interpreting And Reconstructing Data From Sensor Networks, Jonathan H. Guinther
Interpreting And Reconstructing Data From Sensor Networks, Jonathan H. Guinther
Computer Science Technical Reports
Geophysical phenomena are often three-dimensional, time-variant, and physically large, making them difficult to measure. As wireless sensor nodes become cheaper, smaller, and more powerful, using a sensor swarm as a sampling framework seems to be a viable approach to this problem. However, samples from the network can be sparse and unstructured, creating an incomplete picture. Thus, the question addressed by this project is the following: How can we easily construct and interpret the best model of the underlying reality over some domain, given a possibly sparse and irregular set of samples? We present the design, implementation, and evaluation of the …
Tr-2013010: Transformations Of Matrix Structures Work Again Ii, Victor Y. Pan
Tr-2013010: Transformations Of Matrix Structures Work Again Ii, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2013011: Fast Approximation Algorithms For Cauchy Matrices, Polynomials And Rational Functions, Victor Y. Pan
Tr-2013011: Fast Approximation Algorithms For Cauchy Matrices, Polynomials And Rational Functions, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2013012: New Structured Matrix Methods For Real And Complex Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Tr-2013012: New Structured Matrix Methods For Real And Complex Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Computer Science Technical Reports
No abstract provided.
Tr-2013015: Estimating The Norms Of Random Circulant And Toeplitz Matrices And Their Inverses, Victor Y. Pan, Guoliang Qian
Tr-2013015: Estimating The Norms Of Random Circulant And Toeplitz Matrices And Their Inverses, Victor Y. Pan, Guoliang Qian
Computer Science Technical Reports
No abstract provided.
Tr-2013014: New Structured Matrix Methods For Real And Complex Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Tr-2013014: New Structured Matrix Methods For Real And Complex Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Computer Science Technical Reports
No abstract provided.
Tr-2013013: New Structured Matrix Methods For Real And Complex Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Tr-2013013: New Structured Matrix Methods For Real And Complex Polynomial Root-Finding, Victor Y. Pan, Ai-Long Zheng
Computer Science Technical Reports
No abstract provided.
Tr-2013001: Randomized Augmentation And Additive Preprocessing, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng
Tr-2013001: Randomized Augmentation And Additive Preprocessing, Victor Y. Pan, Guoliang Qian, Ai-Long Zheng
Computer Science Technical Reports
No abstract provided.
Tr-2013003: Polynomial Evaluation And Interpolation: Fast And Stable Approximate Solution, Victor Y. Pan
Tr-2013003: Polynomial Evaluation And Interpolation: Fast And Stable Approximate Solution, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2013004: Transformations Of Matrix Structures Work Again, Victor Y. Pan
Tr-2013004: Transformations Of Matrix Structures Work Again, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2013006: Polynomial Evaluation And Interpolation And Transformations Of Matrix Structures, Victor Y. Pan
Tr-2013006: Polynomial Evaluation And Interpolation And Transformations Of Matrix Structures, Victor Y. Pan
Computer Science Technical Reports
No abstract provided.
Tr-2013005: Realization Implemented, Melvin Fitting
Tr-2013005: Realization Implemented, Melvin Fitting
Computer Science Technical Reports
No abstract provided.
Tr-2013007: On Definitive Solutions Of Strategic Games, Sergei Artemov
Tr-2013007: On Definitive Solutions Of Strategic Games, Sergei Artemov
Computer Science Technical Reports
No abstract provided.
Tr-2013008: Information Transmission In Communication Games Signaling With An Audience, Farishta Satari
Tr-2013008: Information Transmission In Communication Games Signaling With An Audience, Farishta Satari
Computer Science Technical Reports
No abstract provided.