Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract

Simple item page
dc.contributor.authorPajic, Miroslav
dc.contributor.authorBezzo, Nicola
dc.contributor.authorWeimer, James
dc.contributor.authorAlur, Rajeev
dc.contributor.authorMangharam, Rahul
dc.contributor.authorMichael, Nathan
dc.contributor.authorPappas, George J
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorTabuada, Paulo
dc.contributor.authorWeirich, Stephanie
dc.contributor.authorLee, Insup
dc.date2023-05-17T07:58:15.000
dc.date.accessioned2023-05-22T12:50:53Z
dc.date.available2023-05-22T12:50:53Z
dc.date.issued2013-04-09
dc.date.submitted2013-09-05T13:31:49-07:00
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6825
dc.legacy.articleid1805
dc.legacy.fields10.1145/2461446.2461457
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1805&context=cis_papers&unstamped=1
dc.rights© ACM 2013. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13), http://dx.doi.org/10.1145/2461446.2461457.
dc.source.beginpage75
dc.source.endpage76
dc.source.issue755
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitleProceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.otherCPS Embedded Control
dc.subject.otherCPS Auto
dc.subject.otherAttack-resilient control systems
dc.subject.othercyber-physical system security
dc.subject.otherComputer Engineering
dc.subject.otherComputer Sciences
dc.titleTowards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:pajic@seas.upenn.edu|institution:University of Pennsylvania|Pajic, Miroslav
digcom.contributor.authorisAuthorOfPublication|email:nicbezzo@seas.upenn.edu|institution:University of Pennsylvania|Bezzo, Nicola
digcom.contributor.authorisAuthorOfPublication|email:weimerj@seas.upenn.edu|institution:University of Pennsylvania|Weimer, James
digcom.contributor.authorisAuthorOfPublication|email:alur@cis.upenn.edu|institution:University of Pennsylvania|Alur, Rajeev
digcom.contributor.authorisAuthorOfPublication|email:rahulm@seas.upenn.edu|institution:University of Pennsylvania|Mangharam, Rahul
digcom.contributor.authorisAuthorOfPublication|email:nmichael@cmu.edu|institution:Carnegie Mellon University|Michael, Nathan
digcom.contributor.authorisAuthorOfPublication|email:pappasg@seas.upenn.edu|institution:University of Pennsylvania|Pappas, George J
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorisAuthorOfPublication|email:tabuada@ee.ucla.edu|institution:University of California|Tabuada, Paulo
digcom.contributor.authorisAuthorOfPublication|email:sweirich@cis.upenn.edu|institution:University of Pennsylvania|Weirich, Stephanie
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.identifiercis_papers/755
digcom.identifier.contextkey4555141
digcom.identifier.submissionpathcis_papers/755
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication26e7bd59-c594-42d7-ab18-3075fd349efc
relation.isAuthorOfPublication5b9de47e-ce4f-47b7-99f7-369d37f9ba51
relation.isAuthorOfPublicatione5d058c5-9a60-471d-9040-c197b7a9554d
relation.isAuthorOfPublication0277bab3-1be2-4f99-9964-92e0ea36014e
relation.isAuthorOfPublication3c7b38b7-1b79-42d0-b26d-5056a7251cfd
relation.isAuthorOfPublication882d729a-b86a-4bbf-a0c4-8b89d8baaf23
relation.isAuthorOfPublication00473ef0-d415-4df9-b027-00f0cf171730
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublicationa4ac15f1-705c-45b4-995b-cf690b20127d
relation.isAuthorOfPublicationb66c11a3-4446-4985-a8af-67bf0f02b419
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication.latestForDiscovery26e7bd59-c594-42d7-ab18-3075fd349efc
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
hicons13.pdf
Size:
301.11 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations