Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

TechExeter: Hacking (Not So) Smart Things 101

More and more devices of our daily life are ``smart:’’ ranging from smart light bulbs to smart TVs to smart fridges – everything can, and most likely will be, in the future connected to the Internet. More and more people are already used to remotely controlling their heating at home using their smartphone.

Want to learn more? Visit the TechExeter Conference on the 11th September 2019! I will, using smart home automation as an example, explain simple techniques for hacking (not so) smart devices.

After the presentation, you should

  • understand the amount of systems that power a small smart device,
  • understand basic hacking techniques for smart devices, and
  • understand several security flaws that occur in IoT devices.

Welcome to the blog of the Software Assurance & Security Research Team at the University of Exeter. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.

Categories

Archive

Tags

FormalMethods Isabelle/HOL ML/AI ProgramVerification SoftwareEngineering academia ai android apidesign appsec bitcoin blockchain bpmn browser browserextensions browsersecurity bug certification chrome composition confidentiality cordova dast devops devsecops dom dsbd efsm epsrc event events extensions fixeffort floss formaldocument formalmethods formalverification funding hol-ocl hol-testgen humanfactor hybridapps iast industry internetofthings iot isabelle/hol isabelledof isabellehol isadof itp latex logic maintance malicous mathematics mbst mobile mobile apps modelinference modeling monads monitoring msc neuralnetwork ocl ontology opensource owasp patches pedadogy pet phd phdlife phishing policy programminglanguages protocols protocolverfication publishing reliability research safelinks safety sap sast sdlc secdevops secureprogramming security securityengineering securitytesting semantics servicecomposition skills smartcontract smartcontracts smartthings smpc softwareeinginering softwaresecurity softwaresupplychain solidity staff&positions statemachine studentproject tcb teaching test&proof test@proof testing tips&tricks tools transport tuos uk uoe upgrade usability verification vulnerabilities vulnerableapplication webinar websecurity

Search


blog whole site