security

Thursday Extra 10/12: Improving software reliability and security

Thursday, October 12, 2017
4:15 p.m. in Science 3821
Refreshments at 4:00 p.m. in the Computer Science Commons (Science 3817)

Improving the reliability and security of software with formal methods and automated reasoning is presented by Cesare Tinelli from The University of Iowa.

Producing robust, reliable software, which performs its intended function and is less prone to errors and security vulnerabilities, is becoming more and more important as software comes to control increasingly large and critical aspects of modern society. This talk makes a case for using mathematically rigorous approaches based on formal logic to specify the behavior of safety-critical software and verify its correctness. These methods can reduce automatically large classes of program analysis problems to constraint satisfaction problems in some formal logic, and then solve them with the aid of automatic reasoners for that logic. The talk will give a brief overview of this approach and discuss its recent successes and applications in industry, focusing on research done at the University of Iowa in this area.

CS Table 2/7: Privacy and security

The Electronic Frontier Foundation (EFF) has put together a detailed guide of a number of recommended practices used to maintain privacy and security at https://ssd.eff.org/, which we will rely on for this week's discussion. Please complete the following readings before Tuesday:

  1. An Introduction to Threat Modeling. EFF Surveillance Self-Defense Guide.
  2. Seven Steps to Digital Security. EFF Surveillance Self-Defense Guide.
  3. At least one other overview, topic, or briefing from the SSD guide.

If you have specific practices that you use and would be willing to share, please come prepared to demonstrate or describe them. When you choose additional readings, you are encouraged to look for guides that you think are relevant to your own use of technology.

Computer science table (CS Table) is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Tuesdays from 12:00-1:00pm in JRC 224B. Contact the CS faculty for the weekly reading. Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Visitors to the College and students not on meal plans can charge their meals to the department.

CS Table 11/29: Election Hacking

At this CS Table we will discuss a recent turn of events in the presidential election: election security experts are calling for recounts in several critical states. Why are they doing this, and why do we need to recount or audit our elections?

Read these three recent articles building up to this recent call:

In addition, to give you more background on the perils of voting and technology, read this paper by researchers at the University of Michigan, Ann Arbor about breaking into Internet voting systems:

Printed readings are available at Noyce 3827.

Computer science table (CS Table) is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Tuesdays from 12:00-1:00pm in JRC 224B. Contact the CS faculty for the weekly reading. Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Visitors to the College and students not on meal plans can charge their meals to the department.

CS Table: "Shellshock"

This Friday at CS Table, we discuss a recent security failure in Unix, GNU/Linux, and Mac OS X operating systems: the Shellshock bug. Our reading is:

Computer Science Table is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. We meet on Fridays from 12:10 to 12:50 in Rosenfield 224A (the Day PDR). Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Students not on meal plans can charge their meals to the department.

Contact John Stone for a copy of this week's reading.

CS Table: Trusting Trust

On Friday, 13 September 2013, the readings for CS Table will be two papers on trust.

The first is a classic paper, written as a Turing Award Speech

Ken Thompson. 1984. Reflections on trusting trust. Commun. ACM 27, 8 (August 1984), 761-763. DOI=10.1145/358198.358210 http://doi.acm.org/10.1145/358198.358210

The second is a recent article from The New York Times

Nicole Perlroth, Jeff Larson, and Scott Shane. September 5, 2013. N.S.A. Able to Foil Basic Safeguards of Privacy on Web. The New York Times. http://www.nytimes.com/2013/09/06/us/nsa-foils-much-internet-encryption.html

Computer science table is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Fridays at noon in the Day PDR. Contact Sam Rebelsky (rebelsky@grinnell.edu) for the weekly reading. Students on meal plans, faculty, and staff are expected to pay the cost of their meals. Students not on meal plans can charge their meals to the department.

Thursday Extra: "Dynamic code generation and what it takes to get there"

On Thursday, May 3, Isaiah Sarju 2013 will discuss the nature, history, and theory of security vulnerabilities associated with dynamic code generation:

More specifically, the talk will deal with the underlying hacking techniques and security principles which have led to research into dynamic code generation: the history of memory vulnerabilities, the security mechanisms which are used to protect against these attacks, and the state of the art of bypassing these protections.

Refreshments will be served at 4:15 p.m. in the Computer Science Commons (Noyce 3817). The talk, Dynamic code generation and what it takes to get there, will follow at 4:30 p.m. in Noyce 3821. Everyone is welcome to attend!

CS Table: Online Health Information Systems

This Friday, October 14, Kyle and Martin E. will be leading a discussion about Online Health Information Systems. You can find links to the papers for this week at http://foswiki.cs.grinnell.edu/foswiki/bin/view/Courses/HealthCareAndCom... As usual, we'll meet around noon in JRC 224A. Hope to see you there!

CS Table: Online Health Information Systems

This Friday, October 14, Kyle and Martin E. will be leading a discussion about Online Health Information Systems. You can find links to the papers for this week at http://foswiki.cs.grinnell.edu/foswiki/bin/view/Courses/HealthCareAndCom... ng/OHIS As usual, we'll meet around noon in JRC 224A. Hope to see you there!

CS Table: Certified Provider Order Entry Systems

This Friday at CS Table, Benji and Martin E. will be leading a discussion about Certified Provider Order Entry Systems (CPOE). The readings can be found at the following link: http://foswiki.cs.grinnell.edu/foswiki/bin/view/Courses/HealthCareAndCom... We'll meet at noon in JRC 224A. Please feel free to e-mail back if you have any questions!

CS Table: Implementing Electronic Health Records

This Friday at CS Table, Martin and Alicia will be leading a discussion about Personal Health Care Records, discussing some past and current implementations of EHRs. We'll meet at noon in JRC 224A. The readings can be found at the following link: http://foswiki.cs.grinnell.edu/foswiki/bin/view/Courses/HealthCareAndCom... All are welcome!
Syndicate content