Tuesday, February 24, 2015

Trojan hardware

With so many things and events being reliant upon computers now, and with more dependencies being built (and added on) all the time, one has to wonder if anyone has really looked at how good the basis might be.

I know. Several have stuffed their pockets with money (almost beyond calculation) through offerings in these realms. But, we hear the horror stories all the time (genies let out of the bottle?).

On the other hand, there is a seemingly never-ending demand for more and more. How far can we go before we find ourselves entrapped so as to not be able to extricate ourselves?

A recent IEEE Spectrum article looks at one potential area of concern. How much trust can we place in the current methods and the products?

Mitra, S, Wong, H-S, Wong, S. "Stopping Hardware Trojans in Their Tracks" (February 2015)

---

Concern about obtaining compromised hardware has received some attention (see Wikipedia, for example). The IEEE Spectrum article describes some methods for proving that hardware is not problematic and, at the same time, itemizes limitations.

Questions remain: How can we place such unquestioning trust? Who is involved in helping to tackle the problem?

Well, truth engineering has had this focus from the beginning, albeit from a broader scope.

It is nice to see that the NSF has their trust-HUB effort. As well, advanced research (IARPA) under the auspices of national intelligence has been working on ways and means to handle the related problems.

Remarks:   Modified: 03/20/2015

03/20/2015 -- "Can you trust your fridge?" is the head-line in the print version.


Tuesday, February 3, 2015

Noether-isms

Not being disrespectful, here. Rather, I think that this family ought to have the stature as do those Bernoulli people. Why don't they? Perhaps, it's because abstract algebra can be seen as more of a nerdy thing. The Bernoullis help us fly (as does the underlying framework) and more.

In particular, Emmy was going to be one of our foci. And, specifically, the work that relates to conservation principles was to be recognized. For one, quasi-empirical arguments, it seemed to me, could revolve around this notion and its demonstration. Too, either/or issues may settle, a little.

I have seen Noether's work mentioned, in many places along the way, but, finally, have gotten into a deeper look. Her influence is very broad. But, I was taking my time getting around to the synthesis issues.

And, ran across this today: Ontology after Quine (Where? UHamburg's site.) sponsored by the Emmy Noether Programme. In the sense of the hierarchy of needs, we would expect "meta" issues to come to fore with the maturity of ideas.

Enough said, for now, as we have danced around the subject long enough.

Remarks:   Modified: 02/03/2015

02/03/2015 --