Name: Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal
Start: 2026-01-22T12:00:00+05:30
End: 2026-01-22T13:00:00+05:30
Location: Bharti 501

There are no events on this day.

January 22

January 22 @ 12:00 pm - 1:00 pm

Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal

There are no events on this day.

0 events, 29

0 events, 29

0 events, 30

0 events, 30

0 events, 31

0 events, 31

0 events, 1

0 events, 1

0 events, 2

0 events, 2

0 events, 3

0 events, 3

0 events, 4

0 events, 4

0 events, 5

0 events, 5

0 events, 6

0 events, 6

0 events, 7

0 events, 7

0 events, 8

0 events, 8

0 events, 9

0 events, 9

0 events, 10

0 events, 10

0 events, 11

0 events, 11

0 events, 12

0 events, 12

0 events, 13

0 events, 13

0 events, 14

0 events, 14

0 events, 15

0 events, 15

0 events, 16

0 events, 16

0 events, 17

0 events, 17

0 events, 18

0 events, 18

0 events, 19

0 events, 19

0 events, 20

0 events, 20

0 events, 21

0 events, 21

1 event, 22

1 event, 22

Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal

Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal

0 events, 23

0 events, 23

0 events, 24

0 events, 24

0 events, 25

0 events, 25

0 events, 26

0 events, 26

0 events, 27

0 events, 27

0 events, 28

0 events, 28

0 events, 29

0 events, 29

0 events, 30

0 events, 30

0 events, 31

0 events, 31

0 events, 1

0 events, 1

Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal