Visible to the public Biblio

Found 1750 results

2018-03-29
Zhang, W., Kimball, J. W..  2017.  DC-DC Converter Based Photovoltaic Simulator with a Double Current Mode Controller. IEEE Transactions on Power Electronics. PP:1–1.
Mpembele, G., Kimball, J..  2017.  Analysis of a standalone microgrid stability using generic Markov jump linear systems. 2017 {IEEE} {Power} and {Energy} {Conference} at {Illinois} ({PECI}). :1–8.
Mueller, J. A., Kimball, J. W..  2017.  Accurate Energy Use Estimation for Nonintrusive Load Monitoring in Systems of Known Devices. IEEE Transactions on Smart Grid. PP:1–1.
Mueller, J. A., Kimball, J..  2017.  An Efficient Method of Determining Operating Points of Droop-Controlled Microgrids. IEEE Transactions on Energy Conversion. PP:1–1.
J. Duan, M. Y. Chow.  2017.  Data Integrity Attack on Consensus-based Load Shedding Algorithm for Power Systems. IECON 2017 - 43nd Annual Conference of the IEEE Industrial Electronics Society. :1-6.
J. Duan, M. Y. Chow.  2017.  Data Integrity Attack on Consensus-based Distributed Energy Management Algorithm. 2017 IEEE Power and Energy Society General Meeting (PESGM). :1-5.
J. Duan, W. Zeng, M. Y. Chow.  2017.  Resilient Distributed DC Optimal Power Flow Against Data Integrity Attack. IEEE Transactions on Smart Grid. PP:1-1.
A. Thudimilla, B. McMillin.  2017.  Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE). :136-139.
P. R. Dunaka, B. McMillin.  2017.  Cyber-Physical Security of a Chemical Plant. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE). :33-40.
S. C. Jackson, B. McMillin.  2017.  Application of Congestion Notifications in a Cyber-Physical System. 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC). :165-174.
Kanteti, U., McMillin, B.,.  2017.  Multiple Security Domain Model of a Vehicle in an Automated Vehicle System,. Proceedings of the Eleventh IFIP WG 11.10 International Conference on Critical Infrastructure Protection.
G. Howser, B. McMillin.  2017.  Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems. Computer. 50:17-26.
F. Love, B. McMillin.  2017.  Breaking Implicit Trust in Point-of-Care Medical Technology: A Cyber-Physical Attestation Approach. 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). 02:242-247.
T. Roth, B. McMillin.  2017.  Physical Attestation in the Smart Grid for Distributed State Verification. IEEE Transactions on Dependable and Secure Computing. PP:1-1.
Carmelo Di Franco, Amanda Prorok, Nikolay Atanasov, Benjamin P. Kempke, Prabal Dutta, Vijay Kumar, George J. Pappas.  2017.  Calibration-free network localization using non-line-of-sight ultra-wideband measurements. Proceedings of the 16th {ACM/IEEE} International Conference on Information Processing in Sensor Networks, {IPSN} 2017, Pittsburgh, PA, USA, April 18-21, 2017.
Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Levis, Keith Winstein.  2017.  Trust but Verify: Auditing Secure Internet of Things Devices. {Proceedings of the The 15th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys 2017)}.
Ben Lampert, Riad S. Wahby, Shane Leonard, Philip Levis.  2016.  Robust, low-cost, auditable random number generation for embedded system security. {The 14th ACM Conference on Embedded Networked Sensor Systems (SenSys)}.
Wenting Zheng, Ankur Dave, Jethro Beekman, Raluca Ada Popa, Joseph Gonzalez, Ion Stoica.  2017.  Opaque: An Oblivious and Encrypted Distributed Analytics Platform. NSDI (USENIX Symposium of Networked Systems Design and Implementation).
Wenting Zheng, Frank Li, Raluca Ada Popa, Ion Stoica, Rachit Agarwal.  2017.  MiniCrypt: Reconciling Encryption and Compression for Big Data Stores. EuroSys.
Dan Boneh, Shay Gueron.  2017.  Surnaming Schemes, Fast Verification, and Applications to SGX Technology. Topics in Cryptology - {CT-RSA} 2017. :149–164.
Henry Corrigan-Gibbs, Dan Boneh.  2017.  Prio: Private, Robust, and Scalable Computation of Aggregate Statistics. 14th {USENIX} Symposium on Networked Systems Design and Implementation, {NSDI} 2017, Boston, MA, USA, March 27-29, 2017. :259–282.
William McGrath, Daniel Drew, Jeremy Warner, Majeed Kazemitabaar, Mitchell Karchemsky, David Mellis, Bjorn Hartmann.  2017.  Bifrost : Visualizing and Checking Behavior of Embedded Systems across Hardware and Software. Proceedings of the 29th Annual ACM Symposium on User Interface Software and Technology.
Ramesh, Rohit, Lin, Richard, Iannopollo, Antonio, Sangiovanni-Vincentelli, Alberto, Hartmann, Bjorn, Dutta, Prabal.  2017.  Turning Coders into Makers: The Promise of Embedded Design Generation. Proceedings of the 1st Annual ACM Symposium on Computational Fabrication.
Mellis, David A., Zhang, Ben, Leung, Audrey, Hartmann, Bjorn.  2017.  Machine Learning for Makers: Interactive Sensor Data Classification Based on Augmented Code Examples. Proceedings of the 2017 Conference on Designing Interactive Systems.
Drew, Daniel, Newcomb, Julie L., McGrath, William, Maksimovic, Filip, Mellis, David, Hartmann, Bjorn.  2016.  The Toastboard: Ubiquitous Instrumentation and Automated Checking of Breadboarded Circuits. Proceedings of the 29th Annual Symposium on User Interface Software and Technology.