There was an item in New Scientist, perhaps last century, of an experiment done at a hospital's ICU ( UK, iirc, the hospital had some kind of religious name, like St (somethingorother) ),
and that experiment tested whether patient-to-patient infections were affected by ionizers ( which charge the air, making particles in the air stick to surfaces, like walls, objects, whatever )...
That experiment had no effect in the control condition, but the ionizer-test condition reduced those infections down to ZERO.
No hospital with any reputation would dare use such "New Age woo", of course, no matter that evidence, combined with the Hippocratic Oath ( 1st do no harm! ), should oblige its use.
Bah.
I couldn't find much of anything through DuckDuckGo.com
and Scholar.Google.com had stuff that wasn't what I was trying to find,
and normal google had this
Anyways, according to the NO cases of inter-patient infection that was reported in the study I remember, it should have been made globally normal.
Notice that the things are called, by many, "air cleaners".
I'm disputing that air cleaners have no effect on health ( put a box-fan with a 20"-square furnace-filter on the suction-side of it, and it'll reduce the amount of dust, without any expensive products, and in some areas, in industrial or desert zones, e.g. it'll likely reduce the harm done to one's lungs by that air ), and pointing-out that different definitions of "air cleaner" are valid, though not about the same thing.
IF by "security" one means bugs have been prevented from living in it, there is one coded in Haskell, it may be named XMonad or something...
( .. digging .. )
Yep:
https://en.m.wikipedia.org/wiki/Xmonad
from there:
"Due to the small number of lines of code of the Xmonad application, the use of the purely functional programming language Haskell, and recorded use of a rigorous testing procedure it is sometimes used as a baseline application in other research projects. This has included re-implementation of xmonad using the Coq proof assistant,[31] a determination xmonad is an imperative program,[32] and studies of package management relating to the NixOS linux distribution.[33]"
Dig: 2000-ish lines of code.
https://xmonad.org/
https://xmonad.org/documentation.html