UMBC Cyber Defense Lab

Verifying Security Properties of
Cryptographic Protocols with CPSA

Edward V. Zieglar Jr.
Analysis and Design Methods
DoD Trusted Systems Research Group

12-1pm, Friday, 15 May 2015, ITE 227

The design of cryptographic protocols with well understood properties is a difficult problem. Many simple cryptographic protocols that have been designed over the years by experienced designers have been found to have subtle flaws or incorrect assumptions that have led to attacks against them. Much effort has gone into the development of theories, techniques and tools to formally analysis the security properties of cryptographic protocols in an attempt to identify and eliminate such security flaws. This talk will address basic paradigms used in the analysis and verification of the security properties of cryptographic protocols, discuss efforts to develop tools to assist designers in developing protocols with verifiable security properties and demonstrate one such tool, the Cryptographic Protocol Shapes Analyzer (CPSA), available at https://hackage.haskell.org/package/cpsa.

Mobile Computing and Smart Home
Automation Systems Demonstrations

UMBC Students in CMSC 628 and 691

12:00-1:30pm Tuesday, 12 May 2015
Third floor main corridor, ITE Building

The students in UMBC's graduate Introduction to Mobile Computing class and Systems for Smart Home Automation course will showcase their cutting-edge projects and application that use mobile phones, tablets, cloudservices and smarthome sensors.

Come and enjoy the demonstrations that range from cool smartphone games to smartphone-based educational tools to location‐based mobile phone services to voice and mind controlled home appliances.

For more information, contact Prof. Nilanjan Banerjee at Sorry, you need javascript to view this email address.

CSEE Ph.D. student Kavita Krishnaswamy will give a talk entitled Robotics for Independence sponsored by Refresh Baltimore on May 20 at 7:00pm. The talk will be given at Betamore, 1111 Light Street in Baltimore. Refreshments at 6:30, RSVP online.

Robotics for Independence

Kavita Krishnaswamy

7:00pm Wednesday, 20 May 2015
Betamore, 1111 Light St., Baltimore

The future is here! In this talk, Kavita will discuss the development of robotic systems and how they provide assistance and increase independence for people with disabilities. Kavita will introduce several prototype robotic systems that support transferring, repositioning, and personal care, and focus on accessible user interfaces for control that are feasible for persons with severe disabilities.

Kavita Krishnaswamy is a Ph.D. candidate in Computer Science at the University of Maryland, Baltimore County working with Dr. Tim Oates. As a professional researcher with a physical disability, Kavita is motivated by a powerful, innate force: autonomy is the soul of independent daily living that is achieved with the advancement of technology. She is both a Ford Foundation Predoctoral and National Science Foundation Graduate Research Fellow. Kavita has worked at the National Science Foundation's Engineering Research Center – Quality of Life Technology Center (QoLT) in Carnegie Mellon and University of Pittsburgh and IBM Business consulting services.

Refresh Baltimore describes itself as "a community made up of sharp design and development professionals, creative minds and Baltimore technologists looking to learn from one another and apply critical thinking to the industry."

The UMBC Cybersecurity Graduate Program will hold a virtual information session at 6:00pm on June 16. Participate to learn about the  program options and find out how a master’s degree or graduate certificate can help you advance in the cybersecurity industry. During the online information session, graduate program director Richard Forno will discuss courses, credit requirements and prerequisites, and admissions processes.

The session will cover cybersecurity programs at both UMBC's Main Campus and UMBC-Shady Grove in Rockville, MD. It will provide an overview of our innovative curriculum, practice-oriented instruction and flexible class schedules, which are designed for working professionals.  You will also learn about admissions, curriculum, class format and the cybersecurity career outlook.

If you would like to participate in the information session, please RSVP online.

Name: Nora Corasaniti

Internship, Co-op or Research Site: Maryland House of Delegates | Title of Your Position: Legislative Assistant

Major(s)/Minor(s): Political Science

Expected Graduation Year: December 2017

Briefly describe your internship, co-op, research, or service-learning opportunity, including your day-to-day tasks, responsibilities, and assignments.

In my internship, I write a lot of emails and answer the phone a whole lot too. But I also get to work with constituents on their various issues, which is really great and satisfying! I get a lot of free food and networking opportunities too, which are awesome.

Describe the process of obtaining your internship, research, or co-op opportunity.

I found my internship myself-- I had met my former delegate last year working as a House page and she offered me an internship. Then, when she became a judge, I sent my resume and a cover letter to my current delegate and chief of staff, who coordinated with each other and decided to hire me.

What have you enjoyed the most about your position or organization/company?

I have loved everything about it! My favorite part is getting to work closely next to such kind and influential people, and seeing how they get things accomplished like passing legislation or working with someone of the opposite party on an issue.

What have you gained from your experience that you could not have gained from another opportunity ?

I have learned a lot about presenting myself well and public image-- it is entirely too important to be careful about how you present yourself both in person and on social media!

What advice would you give to another student who is seeking an internship or similar experience?

I would say that they should always go for it--put yourself out there! The worst that can happen is that someone could tell you no, and that is not half as bad as knowing you could have gotten an amazing internship with fantastic people.

Please provide a short reflection or quote about what you liked most about your position / earning internship credit / the internship placement process.

I liked working with the Career Center and learning more about the process. Kacie Lawrence is awesome and really helpful!

Like this story on Facebook or FAV/RT on Twitter!

Like the Career Center on Facebook

Follow us on Twitter

#UMBCintern

Proposal Coordinator (9252786)
Carahsoft Technology Corp - Reston, Virginia

This is a great opportunity to move into federal contracts development. Selected candidates will receive training in proposal writing, creative coordination, and other marketing functions.

Carahsoft Technology Corporation,a trusted government solutions provider, is currently seeking a proposal coordinator to join our existing team.

Public Relations Coordinator (9252830)
Carahsoft Technology Corp - Reston, Virginia

Attention all recent Public Relations graduates! Carahsoft is seeking creative, resourceful, and talented individuals to join the marketing team as a Public Relations Coordinator. This opportunity offers a recent graduate valuable experience in the professional arena of software marketing, event planning, webcasts, e-marketing, and more!

Graphic Designer (9265485)
llustria Designs - Washington, District of Columbia

Who We Are:

IllustriaDesigns.com is the market leader in bringing businesses "Design on Demand" through the cloud. We're disrupting the traditional model through our innovative subscription model. In the past year, we've grown rapidly from 2 designers and 5 clients to a team of 16 designers and over 100 clients.

Chimes Multiple Positions (Updated April 17, 2015) (9274528)
Chimes - nationwide, United States

WEEKLY CAREER OPPORTUNITIES

Visit us at www.chimes.org for more information.

Welcome to Chimes! Our company provides services and supports for people with disabilities. We have earned an excellent reputation in our field, and the people we support have come to expect and appreciate professionalism, courtesy, and pride in a job well done!

Summer 2015- Media and Marketing Intern (9274501)
Maryland New Directions - Baltimore, Maryland

The Media and Marketing Intern will work with Maryland New Directions (MND) staff to develop creative ways to convey MND’s mission and story to the public, share news and successes to spread awareness and interest in the organization. The Intern’s role is to engage the public and share updates from MND through various media outlets.

Summer 2015- Communications Internship (9274451)
Maryland Department of Business & Economic Development - Baltimore, Maryland

Primary responsibilities:

-          Develop and pitch stories, packages and campaigns that make for engaging online content

-          Help manage the MDBizNews blog by providing content, covering agency events, following trending local business news stories

-          Provide assistance in filming interviews with entrepreneurs, business executives, agency employees, and more!

Summer 2015- Human Resource Assistant Internship (9274400)
LightGrid, LLC - Baltimore, Maryland

-          Understand and implement policies and procedures

-          Organize and Maintain current files on policies and procedures as well as new hire information

-          Work closely with various departments

-          Assist in the recruitment process – includes developing job descriptions and person specifications; checking application forms and shortlisting, and more!

Summer 2015- Paid Marketing Internship (9274399)
LightGrid, LLC - Catonsville- Research Park, Maryland

The primary responsibility of the entry-Level Marketing assistant will be to assist the director of business development with presentations, marketing material and coordinating activity to grow the business. Successful applicants to the entry-level recruiting and marketing position have been competitive, driven, organized, goal-oriented, and more!

Summer 2015- Graphic Design Intern (9274455)
Pixilated Photo Booth - Baltimore , Maryland

Tasks will include but are not limited to:

-          Design Research

-          Assisting our Design Team in daily tasks

-          Helping to create graphics for various social media platforms as well as print ads

-          Print Layout Design

Summer 2015- Video Production Intern (9274453)
Maryland Department of Business & Economic Development - Baltimore, Maryland

Primary responsibilities:

-          Develop and pitch stories, packages and campaigns that make for engaging online content

-          Shoot and edit fresh video content for our blog, website, and intranet

-          Interview entrepreneurs, business executives, agency employees and others

-          Provide support for communications and digital marketing teams as needed

Design Consultant Intern (9266070)
Illustria Designs - Washington, District of Columbia

WHO WE ARE:

IllustriaDesigns.com is a rapidly growing startup agency that is pioneering a subscription model for graphic design. We're disrupting the traditional model and bringing businesses the convenience of in-house design without the cost. Our clients are varied and in every industry imaginable, from tech to real estate to education, and more!

UMBC, in partnership with the YMCA of Central Maryland, is excited to announce the re-opening of the Y Preschool at UMBC, effective September 1, 2015. The UMBC Preschool offers quality instruction to children 2-5 years of age and provides development opportunities for young children to:

• Learn through imaginative play
• Develop cognitive and physical health
• Be independent and self-confident
• Become enthusiastic, inquisitive learners
• Develop character

The program also offers opportunities for UMBC students to work with the Y Center Staff to gain experience working at the Preschool in areas such as music, theater, geography, and STEM. The Y is looking to collaborate with other areas for academic research, internships, and direct learning.

Early Bird registration for UMBC faculty, staff, and students is May 1 – May 31, 2015. There are a limited number of enrollment spots available, so please register early to ensure you are able to take advantage of this opportunity.

In person registration is required. To schedule your in-person registration appointment, contact Betty Sterner at 410-747-4951. Please note, the $85 non-refundable registration fee will be applied to the first week's tuition.

Valerie A. Thomas, Associate Vice President of Human Resources