Deprecated: TEC\Events_Pro\Custom_Tables\V1\WP_Query\Modifiers\Events_Not_Recurring_Custom_Tables_Query_Modifier::applies_to(): Implicitly marking parameter $query as nullable is deprecated, the explicit nullable type must be used instead in /home/seasevents/public_html/wp-content/plugins/events-calendar-pro/src/Events_Pro/Custom_Tables/V1/WP_Query/Modifiers/Events_Not_Recurring_Custom_Tables_Query_Modifier.php on line 61
Warning: Cannot modify header information - headers already sent by (output started at /home/seasevents/public_html/wp-content/plugins/events-calendar-pro/src/Events_Pro/Custom_Tables/V1/WP_Query/Modifiers/Events_Not_Recurring_Custom_Tables_Query_Modifier.php:61) in /home/seasevents/public_html/wp-content/plugins/the-events-calendar/src/Tribe/Views/V2/iCalendar/iCalendar_Handler.php on line 263
Warning: Cannot modify header information - headers already sent by (output started at /home/seasevents/public_html/wp-content/plugins/events-calendar-pro/src/Events_Pro/Custom_Tables/V1/WP_Query/Modifiers/Events_Not_Recurring_Custom_Tables_Query_Modifier.php:61) in /home/seasevents/public_html/wp-content/plugins/disable-xml-rpc-pingback/disable-xml-rpc-pingback.php on line 51
Warning: Cannot modify header information - headers already sent by (output started at /home/seasevents/public_html/wp-content/plugins/events-calendar-pro/src/Events_Pro/Custom_Tables/V1/WP_Query/Modifiers/Events_Not_Recurring_Custom_Tables_Query_Modifier.php:61) in /home/seasevents/public_html/wp-content/plugins/the-events-calendar/src/Tribe/iCal.php on line 511
Warning: Cannot modify header information - headers already sent by (output started at /home/seasevents/public_html/wp-content/plugins/events-calendar-pro/src/Events_Pro/Custom_Tables/V1/WP_Query/Modifiers/Events_Not_Recurring_Custom_Tables_Query_Modifier.php:61) in /home/seasevents/public_html/wp-content/plugins/the-events-calendar/src/Tribe/iCal.php on line 512
Warning: Cannot modify header information - headers already sent by (output started at /home/seasevents/public_html/wp-content/plugins/events-calendar-pro/src/Events_Pro/Custom_Tables/V1/WP_Query/Modifiers/Events_Not_Recurring_Custom_Tables_Query_Modifier.php:61) in /home/seasevents/public_html/wp-content/plugins/the-events-calendar/src/Tribe/iCal.php on line 515
BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Penn Engineering Events - ECPv6.18.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Penn Engineering Events
X-ORIGINAL-URL:https://seasevents.nmsdev7.com
X-WR-CALDESC:Events for Penn Engineering Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20180311T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20181104T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20190310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20191103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20200308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20201101T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20190129T150000
DTEND;TZID=America/New_York:20190129T160000
DTSTAMP:20190110T181740Z
CREATED:20190110T181740Z
LAST-MODIFIED:20190110T181740Z
UID:1115-1548774000-1548777600@seasevents.nmsdev7.com
SUMMARY:CIS Seminar: "Made to Order: Verifying Correctness and Security of Hardware through Event Orderings"
DESCRIPTION:Correctness and security problems in modern computer systems can result from problematic hardware event orderings and interleavings during an application’s execution. Since hardware designs are complex and since a single user-facing instruction can exhibit a variety of different hardware execution sequences\, analyzing and verifying systems for correct event orderings is challenging. My work addresses these challenges by combining hardware architecture and systems approaches with formal methods to support the specification\, analysis\, and verification of implementation-aware event ordering scenarios\, with the specific goal of automatically synthesizing implementation-aware programs capable of violating correctness or security guarantees. In this talk\, I will present two formal\, early-stage verification tools and techniques rooted in this approach. TriCheck conducts axiomatic full-stack memory consistency model (MCM) verification (from high-level programming languages down through hardware implementations). Using rigorous and efficient formal approaches\, TriCheck identified flaws in RISC-V’s draft MCM specification and two counterexamples to a previously proven-correct compiler mapping scheme from C11 to IBM Power and ARMv7. Noting that MCM and security analysis are amenable to similar approaches\, CheckMate uses related axiomatic techniques to evaluate susceptibility of a hardware design and its related system support to formally-specified classes of security exploits; in response\, it synthesizes proof-of-concept exploit code when a design is susceptible. CheckMate automatically synthesized programs representative of Meltdown and Spectre attacks as well as new exploits\, MeltdownPrime and SpectrePrime\, that I have demonstrated on Intel hardware.
URL:https://seasevents.nmsdev7.com/event/cis-seminar-made-to-order-verifying-correctness-and-security-of-hardware-through-event-orderings/
LOCATION:Wu and Chen Auditorium (Room 101)\, Levine Hall\, 3330 Walnut Street\, Philadelphia\, PA\, 19104\, United States
CATEGORIES:Seminar
ORGANIZER;CN="Computer and Information Science":MAILTO:cherylh@cis.upenn.edu
END:VEVENT
END:VCALENDAR